diff -r fc5ce7f22b74 -r b1281a0051ae Quotient-Paper/ROOT.ML
--- /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