src/HOL/Import/HOL/HOL4.thy
author wenzelm
Sun Jan 16 15:53:03 2011 +0100 (2011-01-16)
changeset 41589 bbd861837ebc
parent 16417 9bc16273c2d4
child 46783 3e89a5cab8d7
permissions -rw-r--r--
tuned headers;
skalberg@14621
     1
(*  Title:      HOL/Import/HOL/HOL4.thy
wenzelm@41589
     2
    Author:     Sebastian Skalberg, TU Muenchen
skalberg@14621
     3
*)
skalberg@14621
     4
haftmann@16417
     5
theory HOL4 imports HOL4Vec HOL4Word32 HOL4Real begin
skalberg@14516
     6
skalberg@14516
     7
end