projects / darcs-mirror-isa-launchbury.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 22bd707)
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 patch | blob | history

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 =
Mirror of http://darcs.nomeata.de/isa-launchbury