# HG changeset patch # User haftmann # Date 1263491062 -3600 # Node ID a64c7228e6602fa3fb1d5a1313f5f7b365df1b48 # Parent cf9e3426c7b1a43441c77a0664541069cfb2791b# Parent 9c4d5db7c7ad830130d2f46f4b7e14ab3c5be646 merged diff -r 9c4d5db7c7ad -r a64c7228e660 src/HOL/Main.thy --- 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 {*