diff options
| author | David Aspinall | 1998-09-03 15:28:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-03 15:28:23 +0000 |
| commit | 5323283f5727fbc20d07eebc6d5dcfdc6c211b55 (patch) | |
| tree | f5deda7abca904ad6a4399b281d029837bb4302d /isa/example.ML | |
| parent | 0bb2df932579cf7199078ef8083e0bdd7ed7aba7 (diff) | |
Site-wide configuration for proof mode.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions