src/HOL/HoareParallel/ROOT.ML

--- a/src/HOL/HoareParallel/ROOT.ML	Tue Sep 29 22:15:54 2009 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-(* $Id$ *)
-
-use_thys ["OG_Examples", "Gar_Coll", "Mul_Gar_Coll", "RG_Examples"];