--- a/src/HOLCF/Domain.thy Sat Oct 16 15:26:30 2010 -0700
+++ b/src/HOLCF/Domain.thy Sat Oct 16 16:22:42 2010 -0700
@@ -10,7 +10,6 @@
("Tools/cont_consts.ML")
("Tools/cont_proc.ML")
("Tools/Domain/domain_constructors.ML")
- ("Tools/Domain/domain_library.ML")
("Tools/Domain/domain_axioms.ML")
("Tools/Domain/domain_theorems.ML")
("Tools/Domain/domain_extender.ML")
@@ -154,7 +153,6 @@
use "Tools/cont_consts.ML"
use "Tools/cont_proc.ML"
-use "Tools/Domain/domain_library.ML"
use "Tools/Domain/domain_axioms.ML"
use "Tools/Domain/domain_constructors.ML"
use "Tools/Domain/domain_theorems.ML"