src/HOL/Import/HOL/num.imp
2005-08-29 obua 2005-08-29 Updated import.
2005-04-01 skalberg 2005-04-01 Updated import configuration.
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.