src/Pure/Isar/context_rules.ML
changeset 25979 3297781f8141
parent 23227 96f86d377dd9
child 26435 bdce320cd426
     1.1 --- a/src/Pure/Isar/context_rules.ML	Sat Jan 26 17:08:36 2008 +0100
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Sat Jan 26 17:08:38 2008 +0100
     1.3 @@ -204,9 +204,9 @@
     1.4  
     1.5  (* concrete syntax *)
     1.6  
     1.7 -fun add_args a b c x = Attrib.syntax
     1.8 +fun add_args a b c = Attrib.syntax
     1.9    (Scan.lift ((Args.bang >> K a || Args.query >> K c || Scan.succeed b) -- Scan.option Args.nat)
    1.10 -    >> (fn (f, n) => f n)) x;
    1.11 +    >> (fn (f, n) => f n));
    1.12  
    1.13  val rule_atts =
    1.14   [("intro", add_args intro_bang intro intro_query, "declaration of introduction rule"),