1
(* Title: HOL/Import/HOL/HOL4.thy
2
ID: $Id$
3
Author: Sebastian Skalberg (TU Muenchen)
4
*)
5
6
theory HOL4 imports HOL4Vec HOL4Word32 HOL4Real begin
7
8
end