Unused import
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 14 Jan 2015 15:50:54 +0000 (15:50 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Wed, 14 Jan 2015 15:50:54 +0000 (15:50 +0000)
Launchbury/AbstractTransform.thy

index d889326..e1eac67 100644 (file)
@@ -1,5 +1,5 @@
 theory AbstractTransform
-imports Terms Up TransformTools
+imports Terms TransformTools
 begin
 
 locale AbstractAnalProp =