diff options
| author | David Aspinall | 2002-03-21 16:31:26 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-03-21 16:31:26 +0000 |
| commit | 3a4839220f8c620b51236a7831bbe1292f1daf6b (patch) | |
| tree | cd606af6ee297f97a27afbb55ff71b68e09ab213 /isa/Example.thy | |
| parent | 9f84867ebb296649db1656106910ee2527385aaa (diff) | |
Greatly improved support.
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions