src/HOL/Import/HOL/HOL4.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-04-17 skalberg 2004-04-17 Whoops, forgot a header...
2004-04-02 skalberg 2004-04-02 Added HOL proof importer.