Merge branch master into feature-shape-update
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Feb 2014 14:50:27 +0000 (15:50 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Feb 2014 14:50:27 +0000 (15:50 +0100)
commit6cc566c46889c5e7aafc8d75c6627137e56ab30f
tree092dce779785d17f572dfd1880baa23c69cd1a33
parent586d72e18898311d975f5748bca397c403b6a83b
parent04b7bf8fabf64a2414d64cfb385f6a397da0a0fb
Merge branch master into feature-shape-update

For building on the sieve example.
Bidir.agda
FinMap.agda