src/HOL/Import/HOL/pair.imp
2005-10-19 wenzelm 2005-10-19 updated;
2005-10-18 wenzelm 2005-10-18 updated;
2005-09-29 wenzelm 2005-09-29 updated;
2005-09-28 obua 2005-09-28 mapped "-->" to "hol4-->"
2005-09-26 wenzelm 2005-09-26 updated;
2005-09-26 obua 2005-09-26 fixed disambiguation problem
2005-09-05 wenzelm 2005-09-05 updated;
2005-04-01 skalberg 2005-04-01 Updated import configuration.
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.