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.
now based on "Main", as it should be
authorpaulson
Mon, 20 Mar 2000 10:24:07 +0100
changeset 8523 7ffc94f2f42d
parent 8522 581dfabf22dd
child 8524 f990040535c9
now based on "Main", as it should be
src/HOL/Lex/Prefix.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Lex/Prefix.thy	Mon Mar 20 10:23:24 2000 +0100
+++ b/src/HOL/Lex/Prefix.thy	Mon Mar 20 10:24:07 2000 +0100
@@ -4,7 +4,7 @@
     Copyright   1995 TUM
 *)
 
-Prefix = List +
+Prefix = Main +
 
 arities list :: (term)ord
isabelle