diff options
| author | David Aspinall | 2001-08-30 14:24:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-30 14:24:50 +0000 |
| commit | 56187e486cd430129d5dd5f42426ec5c5c7c21ca (patch) | |
| tree | e6c75d00cddef4b1c153c6d539475fb68d75956e /html | |
| parent | 9bde5a4c12dd4727ad1730bb3a5c3113ea3d84cb (diff) | |
More about invisible proofs and multiple files in Coq. X-symbol compat
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions