Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
signature: eqtype to accomodate Alice;
authorwenzelm
Tue, 03 Apr 2007 19:24:18 +0200
changeset 22572 c6bbe56afbf7
parent 22571 3f00e937d1c9
child 22573 2ac646ab2f6c
signature: eqtype to accomodate Alice;
src/Pure/term.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/term.ML	Tue Apr 03 19:24:17 2007 +0200
+++ b/src/Pure/term.ML	Tue Apr 03 19:24:18 2007 +0200
@@ -13,10 +13,10 @@
 
 signature BASIC_TERM =
 sig
-  type indexname
-  type class
-  type sort
-  type arity
+  eqtype indexname
+  eqtype class
+  eqtype sort
+  eqtype arity
   datatype typ =
     Type  of string * typ list |
     TFree of string * sort |
isabelle