Sun, 01 Apr 2012 23:09:36 +0200 | krauss | clarified terminology; added reference to bundle component | file | diff | annotate |
Sun, 01 Apr 2012 14:50:47 +0200 | Cezary Kaliszyk | Modernized HOL-Import for HOL Light | file | diff | annotate |
Wed, 02 Jun 2010 21:12:28 +0200 | wenzelm | replaced ML pokes by explicit usedir -p; | file | diff | annotate |
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 |