make lemma-sequenceV-successful more precise
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Tue, 4 Mar 2014 17:58:25 +0000 (18:58 +0100)
commite08856e01eecdd1c06fe9607eb91b5ed5baaed02
tree7ecd90ee76c0bd51ede951ccb0772354893e44ef
parentbec4b138090e87fe92c970ca98010e60707c44f9
make lemma-sequenceV-successful more precise
Bidir.agda