eliminate useless withs
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Feb 2014 17:55:23 +0000 (18:55 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Feb 2014 17:55:23 +0000 (18:55 +0100)
commit0a1558b7cb0bccbe4a8c8411ac08d11a87547eea
tree0ffdaa4c1dbf8cc580b08b1d4bdf2c8bfa77788c
parentc9ddcf0abbb2e82eafc6dc24872244374c4f43c2
eliminate useless withs
FinMap.agda
Generic.agda