src/HOL/Import/Generate-HOL/GenHOL4Real.thy
Wed, 21 Sep 2005 18:04:49 +0200 wenzelm new header syntax;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 01 Apr 2005 18:59:17 +0200 skalberg Updated import configuration.
Sat, 17 Apr 2004 23:53:35 +0200 skalberg Minor cleanup of headers and some speedup of the HOL4 import.
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip