diff options
| author | David Aspinall | 1999-11-24 21:43:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-24 21:43:37 +0000 |
| commit | ffc870204e9257437e392ddb058a2552c80f4a72 (patch) | |
| tree | 04aa29f10984844dea365f1916462b14bbea9d42 /isa/Example.ML | |
| parent | e06f05f33b48f8dc2e0d8e8a7685a6146b0f2b7a (diff) | |
Improved docstrings. Generalised proof-set-bool -> proof-set-value.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions