changeset 35531 | 4b7d5b88a965 |
parent 35529 | 089e438b925b |
child 35597 | e4331b99b03f |
--- a/src/HOLCF/Domain.thy Tue Mar 02 20:16:35 2010 -0800 +++ b/src/HOLCF/Domain.thy Tue Mar 02 20:19:04 2010 -0800 @@ -11,7 +11,6 @@ ("Tools/cont_proc.ML") ("Tools/Domain/domain_constructors.ML") ("Tools/Domain/domain_library.ML") - ("Tools/Domain/domain_syntax.ML") ("Tools/Domain/domain_axioms.ML") ("Tools/Domain/domain_theorems.ML") ("Tools/Domain/domain_extender.ML")