Merge branch feature-get-record into feature-partial-getlen
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 09:32:34 +0000 (10:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Feb 2014 09:32:34 +0000 (10:32 +0100)
commit257665f2910296c6e87113d2f7a418e1f83b33f6
tree5f179250edf342f351d679f263c22d97d6496811
parente227314c11a17efa2e41ee8756041c4e5b747792
parent6eff9c9c93e942ac4bf39cd6d62c0ae0d601c1ae
Merge branch feature-get-record into feature-partial-getlen

These two features heavily interconnect. As such it makes sense to
integrate them properly. This non-trivial merge does that work. Compared
to feature-partial-getlen a few definitions moved from FreeTheorems.agda
to GetTypes.agda. Many types changed compared to both branches.

Conflicts:
BFF.agda
Bidir.agda
FreeTheorems.agda
Precond.agda
        conflict in GetTypes.agda not detected by merge
BFF.agda
Bidir.agda
FreeTheorems.agda
GetTypes.agda
Precond.agda