Unused import

[darcs-mirror-isa-launchbury.git] / Launchbury / AbstractTransform.thy

diff --git a/Launchbury/AbstractTransform.thy b/Launchbury/AbstractTransform.thy
index d889326..e1eac67 100644 (file)
--- a/Launchbury/AbstractTransform.thy
+++ b/Launchbury/AbstractTransform.thy
@@ -1,5 +1,5 @@
 theory AbstractTransform
-imports Terms Up TransformTools
+imports Terms TransformTools
 begin
 
 locale AbstractAnalProp =