diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:36:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:36:09 +0000 |
| commit | c64deab10f68f15b62ce36adf2970825c7b091de (patch) | |
| tree | 334b1b7e3cc51b446d2eca717f3d08bdac83589b /doc/ProofGeneral.texi | |
| parent | b74d7ff99cefe5ef2606fd6fb699c41882e01415 (diff) | |
Hooray, I proved a theorem.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions