src/HOL/Import/HOL/HOL4.thy
author skalberg
Fri Apr 02 17:37:45 2004 +0200 (2004-04-02)
changeset 14516 a183dec876ab
child 14621 bd78bdbc85a9
permissions -rw-r--r--
Added HOL proof importer.
skalberg@14516
     1
theory HOL4 = HOL4Vec + HOL4Word32 + HOL4Real:
skalberg@14516
     2
skalberg@14516
     3
end