| changeset 24499 | 5a3ee202e0b0 |
| parent 23919 | af871d13e320 |
| child 24788 | f0dba1cda0b5 |
--- a/src/FOL/ex/LocaleTest.thy Fri Aug 31 16:17:53 2007 +0200 +++ b/src/FOL/ex/LocaleTest.thy Fri Aug 31 18:46:33 2007 +0200 @@ -12,7 +12,6 @@ imports FOL begin -ML {* set quick_and_dirty *} (* allow for thm command in batch mode *) ML {* set Toplevel.debug *} ML {* set show_hyps *} ML {* set show_sorts *}