Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Sequents/Sequents.thy
changeset 7098 86583034aacf
parent 6819 433a980103b4
child 7121 0e3d09451b7a 
--- a/src/Sequents/Sequents.thy	Tue Jul 27 19:01:46 1999 +0200
+++ b/src/Sequents/Sequents.thy	Tue Jul 27 19:02:43 1999 +0200
@@ -8,6 +8,8 @@
 
 Sequents = Pure +
 
+global
+
 types
   o 
 
@@ -39,7 +41,7 @@
  SeqContApp     :: "[seqobj,seqcont] => seqcont"        (",/ __")
   
  SeqO           :: "o => seqobj"                        ("_")
- SeqId          :: "id => seqobj"                       ("$_")
+ SeqId          :: "'a => seqobj"                       ("$_")
  SeqVar         :: "var => seqobj"                      ("$_")
 
 types
isabelle