diff options
| author | David Aspinall | 2002-09-11 14:50:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:50:02 +0000 |
| commit | 680f5d4c3c524f7ab693ffd794b1075e15a780d1 (patch) | |
| tree | fc62f53ad738eb7d23c559619b4ee01cd3daa45a /isar/Example.thy | |
| parent | d044757ef7f2fbd5be074eb5f57809f1c7632133 (diff) | |
Tweak html markup
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions