Merge branch feature-delete
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 27 Jan 2014 12:46:47 +0000 (13:46 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 27 Jan 2014 12:46:47 +0000 (13:46 +0100)
commit09cf8a92e03a4cebffdf9bb58aaf1b01b55e73a3
treed4087f8e162c52a706e07ec3aa9623c9d637984f
parent00e60d0339d3e0044abfb06b8f77e9f7a3ffdcfb
parent71025b5f1d0a11b0cf373192210b293a77d45c04
Merge branch feature-delete

Most conflicts stem from varying imports or added functions and a
take-both approach merges them. A notable exception is theorem-2, where
a new result sequence-cong was required. Apart from that, theorem-2
could be taken almost verbatim from feature-delete albeit its type
coming from feature-decsetoid.

Conflicts:
Bidir.agda
FinMap.agda
Generic.agda
Precond.agda
BFF.agda
Bidir.agda
FinMap.agda
Generic.agda
Precond.agda