diff options
| author | David Aspinall | 2000-09-13 15:51:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:51:03 +0000 |
| commit | c1d1708127e306d1035259e7ad830148e84885a1 (patch) | |
| tree | d51e08f26155378033b89872e906b0cc0b3b5794 /isa/Example.thy | |
| parent | 3f4a9e1e96473569750201162ba93563d4262d86 (diff) | |
Added af2 and twelf to elisp dirs.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions