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)
commit21bd7809d70c27fbd70398cb7208b901cbe872f5
tree81fce140eb58a51ec2b3ef561341b519fad9ee1d
parent22bd707d4fe3cb10343f4295fba0c5ebfc516636
Unused import
Launchbury/AbstractTransform.thy