diff options
| author | David Aspinall | 1999-09-21 17:40:10 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 17:40:10 +0000 |
| commit | 4dc791346fa9dd8f3308d28e94f27634102f4244 (patch) | |
| tree | ecb7e3f1e40304e344e0622aaef765149faa23cb /isa/Example.thy | |
| parent | f2717061db6a98c681e943754c0d0f7239b4c074 (diff) | |
Made desired usability changes more explicit and detailed.
Mentioned output formatting spurious newlines issue for Isabelle.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions