diff options
| author | David Aspinall | 1999-11-29 14:05:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 14:05:02 +0000 |
| commit | 3d28f91919372c2ca54e097be8836f8530388594 (patch) | |
| tree | 697d59b314b36fad5e6e15ca45c15f070f836a3c /isa/Example.ML | |
| parent | 41cc11c82385e90e427030f71967056d76156a3d (diff) | |
Added more notes about using ML files in Isabelle.
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions