diff options
| author | David Aspinall | 1999-02-22 14:32:28 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-22 14:32:28 +0000 |
| commit | dad9e29189e52ab4494412fb6f8b0745011a6168 (patch) | |
| tree | b5148718fe5b282f8b669fe5db9465964dd3a123 /isar/Example.thy | |
| parent | 7039d8b507622f0fda2fe6b72dab2b35c123f9ac (diff) | |
Mentioned PROOFGENERAL_ASSISTANTS
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions