Sat, 10 Nov 2007 14:36:33 +0100 | wenzelm | qualified Proofterm.proofs; | file | diff | annotate |
Sat, 24 Sep 2005 10:47:22 +0200 | obua | bug fix | file | diff | annotate |
Thu, 29 Apr 2004 06:02:48 +0200 | wenzelm | removed 'constdefs' hack; | file | diff | annotate |
Thu, 22 Apr 2004 11:02:22 +0200 | wenzelm | tmp hack get back to old 'constdefs'; | file | diff | annotate |
Sat, 17 Apr 2004 23:53:35 +0200 | skalberg | Minor cleanup of headers and some speedup of the HOL4 import. | file | diff | annotate |
Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | file | diff | annotate |