--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Attic/Quot/ROOT.ML	Thu Feb 25 07:57:17 2010 +0100
@@ -0,0 +1,15 @@
+quick_and_dirty := true;
+
+no_document use_thys
+   ["Quotient",
+    "Examples/AbsRepTest",
+    "Examples/FSet",
+    "Examples/FSet2",
+    "Examples/FSet3",
+    "Examples/IntEx",
+    "Examples/IntEx2",
+    "Examples/LFex",
+    "Examples/LamEx",
+    "Examples/LarryDatatype",
+    "Examples/LarryInt",
+    "Examples/Terms"];