Wed, 07 Sep 2011 07:59:45 +0900 | Cezary Kaliszyk | HOL/Import: Update HOL4 generated files to current Isabelle. | file | diff | annotate |
Sat, 19 May 2007 11:33:57 +0200 | haftmann | constant op @ now named append | file | diff | annotate |
Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
Fri, 02 Apr 2004 17:37:45 +0200 | skalberg | Added HOL proof importer. | file | diff | annotate |