diff options
| author | Makarius Wenzel | 2001-08-30 19:26:34 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-08-30 19:26:34 +0000 |
| commit | 3c69e788f89e0db0600cc354c7893dd8129ed3a8 (patch) | |
| tree | 84220644df92a5b2212cfa4720129bde464b5bd3 /FAQ | |
| parent | 097e5d17498bc64a45aeaa7383d3db2b1bada222 (diff) | |
added proof-script-integral-proofs ("Whether the complete text after a
goal confines the actual proof.");
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions