src/HOL/Import/HOL/seq.imp
Wed, 07 Sep 2011 07:59:45 +0900 Cezary Kaliszyk HOL/Import: Update HOL4 generated files to current Isabelle.
Wed, 28 Sep 2005 13:17:23 +0200 obua mapped "-->" to "hol4-->"
Fri, 02 Apr 2004 17:37:45 +0200 skalberg Added HOL proof importer.
less more (0) tip