src/Pure/Isar/isar_syn.ML
changeset 22417 014e7696ac6b
parent 22415 c310ca7cd47f
child 22485 3a7d623485fa
     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