strip implementation detail from lemma-union-delete-fromFunc
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:47:05 +0000 (15:47 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:47:05 +0000 (15:47 +0100)
commit5f5d218d778d949da1c3cc6d227ddbb1f5bfeaf4
tree04806a7a31737d7b34fc71d00aab9981f3ee14a7
parentae6d9a356603e374c7d5b5693b318ecf0d2cc062
strip implementation detail from lemma-union-delete-fromFunc
Precond.agda