# HG changeset patch
# User wenzelm
# Date 1083211308 -7200
# Node ID 2757b50f8f4814375add7fac7ff57174f92f8bbc
# Parent  a5072752114ccc6c7416b42cabac30afdb005c3b
removed spurious quick_and_dirty;

diff -r a5072752114c -r 2757b50f8f48 src/HOL/CTL/ROOT.ML
--- a/src/HOL/CTL/ROOT.ML	Thu Apr 29 06:01:20 2004 +0200
+++ b/src/HOL/CTL/ROOT.ML	Thu Apr 29 06:01:48 2004 +0200
@@ -1,3 +1,3 @@
-set quick_and_dirty;
+
 use_thy "CTL";