# HG changeset patch
# User ehmety
# Date 1005839285 -3600
# Node ID 113c1cd7a16439d6f55333dfcfddb88308209dd1
# Parent  d9320fb0a57079804853c22b7ac23d74d56dcb36
Added new entry

diff -r d9320fb0a570 -r 113c1cd7a164 src/ZF/UNITY/ROOT.ML
--- 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";
+