diff options
| author | David Aspinall | 1998-08-11 14:43:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-08-11 14:43:34 +0000 |
| commit | 57a3528508d49a26d357b67cd91361767d288cde (patch) | |
| tree | 147983087c0c4976cb8b4f3e11915a6f754a7d32 /isa/example.ML | |
| parent | 77687d352a1b1bcb5d359b6ee1dd8a29ec3c31ae (diff) | |
Isabelle proof.el support.
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions