# HG changeset patch
# User kleing
# Date 1173164983 -3600
# Node ID 014e7696ac6b62288cc01d918f385ac97d47f2f2
# Parent  4af50522be35246a6e431387cec8741aba75def4
fix wrong default for find_theorems

diff -r 4af50522be35 -r 014e7696ac6b src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Tue Mar 06 05:32:14 2007 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Tue Mar 06 08:09:43 2007 +0100
@@ -812,7 +812,7 @@
     (Scan.optional (P.$$$ "(" |-- P.!!!
                         (Scan.option P.nat --
                          Scan.optional (P.reserved "with_dups" >> K false) true
-                         --| P.$$$ ")")) (NONE, false) --
+                         --| P.$$$ ")")) (NONE, true) --
      Scan.repeat (((Scan.option P.minus >> is_none) -- criterion))
       >> (Toplevel.no_timing oo IsarCmd.find_theorems));