Unused import
[darcs-mirror-isa-launchbury.git] / Launchbury / AbstractTransform.thy
index d889326..e1eac67 100644 (file)
@@ -1,5 +1,5 @@
 theory AbstractTransform
-imports Terms Up TransformTools
+imports Terms TransformTools
 begin
 
 locale AbstractAnalProp =