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