diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-04 18:58:25 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-03-04 18:58:25 +0100 |
| commit | e08856e01eecdd1c06fe9607eb91b5ed5baaed02 (patch) | |
| tree | 7ecd90ee76c0bd51ede951ccb0772354893e44ef /Precond.agda | |
| parent | bec4b138090e87fe92c970ca98010e60707c44f9 (diff) | |
| download | bidiragda-e08856e01eecdd1c06fe9607eb91b5ed5baaed02.tar.gz | |
make lemma-sequenceV-successful more precise
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions