diff options
| author | David Aspinall | 1998-11-25 14:06:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 14:06:07 +0000 |
| commit | 1cf453fdb1e5b73879016c3847b0c0901709b357 (patch) | |
| tree | 69fb8068e7115a86d416d2a0c766ecb13b32bbc8 /isa/example.thy | |
| parent | a120015fd0bd3c5084f1bd0e612ba691870039bb (diff) | |
Added mention of user documentation.
Diffstat (limited to 'isa/example.thy')
0 files changed, 0 insertions, 0 deletions