clean imports of Precond
authorHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 12:16:42 +0000 (13:16 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 12:16:42 +0000 (13:16 +0100)
commita01871259837d6e36c580338f6d29ea0b154ed04
tree25c0362ac027b5fb9d8b6352eed5d66d4b6ba72e
parentf1cc5478163878f72198e1b8530c14798732b4b1
clean imports of Precond
Precond.agda