use allFin rather than tabulate id
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Mar 2014 08:16:45 +0000 (09:16 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 7 Mar 2014 08:16:45 +0000 (09:16 +0100)
commitc8f719f7e038ccc720daa488d906bfabf3d27349
treea997fe3e9953fcf5a24c1f9a75cce78c822523b6
parentd1d4cf511883e1795ee1922a511cc4b0121c5bfa
use allFin rather than tabulate id
BFF.agda
Bidir.agda
Precond.agda