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.
Added new entry
authorehmety
Thu, 15 Nov 2001 16:48:05 +0100
changeset 12198 113c1cd7a164
parent 12197 d9320fb0a570
child 12199 8213fd95acb5
Added new entry
src/ZF/UNITY/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/ZF/UNITY/ROOT.ML	Thu Nov 15 16:46:38 2001 +0100
+++ b/src/ZF/UNITY/ROOT.ML	Thu Nov 15 16:48:05 2001 +0100
@@ -9,5 +9,9 @@
 (*Basic meta-theory*)
 time_use_thy "Guar";
 
+(* Prefix relation; part of the Allocator example *)
+time_use_thy "GenPrefix";
+
 (*Simple examples: no composition*)
 time_use_thy"Mutex";
+
isabelle