diff options
| author | Enrico Tassi | 2013-12-26 11:22:12 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:54 +0200 |
| commit | be030aef23a094aff85de6066cb97d5c110d56ae (patch) | |
| tree | 070ad7dae548907ce7423dacacfc661220b28513 /dev | |
| parent | 638b2f594f274167e223b8dcf92f3732071dc953 (diff) | |
Lemmas: export standard proof terminator
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions