diff options
| author | Thomas Kleymann | 1999-02-23 10:26:40 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-02-23 10:26:40 +0000 |
| commit | dbfa2fa4b310f612c47807eeecc6b8ae5f42eaab (patch) | |
| tree | 5b97b93da7743010bb01bb99ef0cd8a73e6b03e8 /isar/Example.thy | |
| parent | a4e5c13a7765eb9b345929a3bbc3e015a4c776ab (diff) | |
extended section on Coq tags
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions