add new functions delete, delete-many and partialize
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 15:02:21 +0000 (16:02 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 16 Dec 2013 15:02:21 +0000 (16:02 +0100)
commitce9855e6c2e8b88499ebd9660e0cd225146c1b6b
tree3fca54f2a92a2e16893a5e4092e25c72c7ef1831
parent17fc54ef9c4367f89464290675cbcaaef0163301
add new functions delete, delete-many and partialize

and accompanying lemmata.
FinMap.agda