src/Sequents/Sequents.thy
changeset 7098 86583034aacf
parent 6819 433a980103b4
child 7121 0e3d09451b7a
     1.1 --- a/src/Sequents/Sequents.thy	Tue Jul 27 19:01:46 1999 +0200
     1.2 +++ b/src/Sequents/Sequents.thy	Tue Jul 27 19:02:43 1999 +0200
     1.3 @@ -8,6 +8,8 @@
     1.4  
     1.5  Sequents = Pure +
     1.6  
     1.7 +global
     1.8 +
     1.9  types
    1.10    o 
    1.11  
    1.12 @@ -39,7 +41,7 @@
    1.13   SeqContApp     :: "[seqobj,seqcont] => seqcont"        (",/ __")
    1.14    
    1.15   SeqO           :: "o => seqobj"                        ("_")
    1.16 - SeqId          :: "id => seqobj"                       ("$_")
    1.17 + SeqId          :: "'a => seqobj"                       ("$_")
    1.18   SeqVar         :: "var => seqobj"                      ("$_")
    1.19  
    1.20  types