add back original bff function before shape updates
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:32:20 +0000 (16:32 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 14 Feb 2014 15:32:20 +0000 (16:32 +0100)
commit0ff83361e08eec6d6a5ab9a44f35b0b8590d2031
tree02c8c43dd8aaf494bb9d74ce3677bd0bfc0941bc
parente545ac3a23792e1905bf1b4aedb1f96ebb5a9e90
add back original bff function before shape updates
BFFPlug.agda