diff -r 3e71af53cedb -r 48c2eb84d5ce Pearl/ROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Pearl/ROOT.ML	Sat Apr 03 21:53:04 2010 +0200
@@ -0,0 +1,7 @@
+no_document use_thys ["../Nominal/Nominal2_Base", 
+                      "../Nominal/Nominal2_Atoms", 
+                      "../Nominal/Nominal2_Eqvt",
+                      "../Nominal/Atoms", 
+                      "LaTeXsugar"];
+
+use_thys ["Paper"];
\ No newline at end of file