changeset 46791 | e1569a38448c |
parent 46785 | 150f37dad503 |
--- a/src/HOL/Import/HOL4/Imported.thy Sat Mar 03 22:38:33 2012 +0100 +++ b/src/HOL/Import/HOL4/Imported.thy Sat Mar 03 22:38:53 2012 +0100 @@ -1,5 +1,6 @@ theory Imported -imports Compatibility +imports "Generated/HOL4Vec" "Generated/HOL4Word32" "Generated/HOL4Real" "Generated/HOL4Prob" begin end +