--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Pearl-jv/ROOT.ML	Thu Apr 08 09:12:13 2010 +0200
@@ -0,0 +1,7 @@
+no_document use_thys ["../Nominal-General/Nominal2_Base", 
+                      "../Nominal-General/Nominal2_Atoms", 
+                      "../Nominal-General/Nominal2_Eqvt",
+                      "../Nominal-General/Atoms", 
+                      "LaTeXsugar"];
+
+use_thys ["Paper"];
\ No newline at end of file