diff options
| author | Thomas Kleymann | 1999-02-24 16:38:37 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1999-02-24 16:38:37 +0000 |
| commit | f4e442370d8422f97bce41c542c93ad9c41d2fec (patch) | |
| tree | b10e42a284d21386c159203e383920c6ba5b9221 /isar/Example.thy | |
| parent | dbfa2fa4b310f612c47807eeecc6b8ae5f42eaab (diff) | |
Improved documentation on tags
o added a suggestion by hht
o documentation now at generic level only
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions