src/ZF/UNITY/ROOT.ML

+(*  Title:      ZF/UNITY/ROOT
+    ID:         $Id$
+    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Copyright   1998  University of Cambridge
+
+Root file for ZF/UNITY proofs.
+*)
+
+(*Basic meta-theory*)
+time_use_thy "Guar";
+
+(*Simple examples: no composition*)
+time_use_thy"Mutex";