src/HOL/Import/HOL/HOL4.thy
author wenzelm
Sun, 16 Jan 2011 15:53:03 +0100
changeset 41589 bbd861837ebc
parent 16417 9bc16273c2d4
child 46783 3e89a5cab8d7
permissions -rw-r--r--
tuned headers;

(*  Title:      HOL/Import/HOL/HOL4.thy
    Author:     Sebastian Skalberg, TU Muenchen
*)

theory HOL4 imports HOL4Vec HOL4Word32 HOL4Real begin

end