split Bidir.agda to FinMap.agda
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:51:15 +0000 (15:51 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:51:15 +0000 (15:51 +0100)
commit9dca7fdaf192843f21f9785975ef52cace6558ee
tree9597387bbe9e6af4996e395055eea9ed42f52daa
parentc96c215cd04865bea37f8c222d12c0581b052c76
split Bidir.agda to FinMap.agda
Bidir.agda
FinMap.agda [new file with mode: 0644]