Quotient-Paper/ROOT.ML
changeset 1975 b1281a0051ae
child 2186 762a739c9eb4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Quotient-Paper/ROOT.ML	Thu Apr 29 09:13:18 2010 +0200
@@ -0,0 +1,4 @@
+no_document use_thys ["Quotient", 
+                      "LaTeXsugar"];
+
+use_thys ["Paper"];
\ No newline at end of file