be more precise about which lookups we use
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:59:06 +0000 (15:59 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Wed, 5 Feb 2014 14:59:06 +0000 (15:59 +0100)
commit95609983219f14e8f4c0758cd0688b984d8b1455
tree497e596edcbca0a745d1a42fb1995dc731631dac
parent5f11a53df7da1df3757cf8fd54652f78a50afbf0
be more precise about which lookups we use
BFF.agda
Bidir.agda
Precond.agda