generalize lemma-{just-sequence,sequence-successful}
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 15:00:57 +0000 (16:00 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Mon, 10 Mar 2014 15:00:57 +0000 (16:00 +0100)
commitb0b22d17dd4a6037defd57aa20223e1c5781eb66
tree3ac7dd51c62c18e619b1a1cb9429807ec4a5c706
parentc3467438fa8b9ca068fd08b599861cb6be8aa931
generalize lemma-{just-sequence,sequence-successful}
Bidir.agda