src/HOL/TLA/Intensional.thy
changeset 41229 d797baa3d57c
parent 38786 e46e7a9cb622
child 42018 878f33040280
     1.1 --- a/src/HOL/TLA/Intensional.thy	Fri Dec 17 17:08:56 2010 +0100
     1.2 +++ b/src/HOL/TLA/Intensional.thy	Fri Dec 17 17:43:54 2010 +0100
     1.3 @@ -33,9 +33,7 @@
     1.4  
     1.5  (** concrete syntax **)
     1.6  
     1.7 -nonterminals
     1.8 -  lift
     1.9 -  liftargs
    1.10 +nonterminal lift and liftargs
    1.11  
    1.12  syntax
    1.13    ""            :: "id => lift"                          ("_")