fix wrong default for find_theorems
authorkleing
Tue Mar 06 08:09:43 2007 +0100 (2007-03-06 ago)
changeset 22417014e7696ac6b
parent 22416 4af50522be35
child 22418 49e2d9744ae1
fix wrong default for find_theorems
src/Pure/Isar/isar_syn.ML
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Tue Mar 06 05:32:14 2007 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Tue Mar 06 08:09:43 2007 +0100
     1.3 @@ -812,7 +812,7 @@
     1.4      (Scan.optional (P.$$$ "(" |-- P.!!!
     1.5                          (Scan.option P.nat --
     1.6                           Scan.optional (P.reserved "with_dups" >> K false) true
     1.7 -                         --| P.$$$ ")")) (NONE, false) --
     1.8 +                         --| P.$$$ ")")) (NONE, true) --
     1.9       Scan.repeat (((Scan.option P.minus >> is_none) -- criterion))
    1.10        >> (Toplevel.no_timing oo IsarCmd.find_theorems));
    1.11