merged
authorhaftmann
Thu, 14 Jan 2010 18:44:22 +0100
changeset 34905 a64c7228e660
parent 34897 cf9e3426c7b1 (diff)
parent 34904 9c4d5db7c7ad (current diff)
child 34906 bb9dad7de515
merged
--- a/src/HOL/Main.thy	Thu Jan 14 18:42:15 2010 +0100
+++ b/src/HOL/Main.thy	Thu Jan 14 18:44:22 2010 +0100
@@ -1,7 +1,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Plain Nitpick Predicate_Compile
+imports Plain Predicate_Compile Nitpick
 begin
 
 text {*