diff options
| author | David Aspinall | 2001-12-11 17:48:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-12-11 17:48:34 +0000 |
| commit | 2d577ad5ba24a292fe1b47aafcfb5c26efe5c533 (patch) | |
| tree | 7e9febd89e54f46d57a7071cf203ed327c62ce4f /isar/Example.thy | |
| parent | 33394f21b187f7d5f25bfe760efd837fa2102e9e (diff) | |
fix links to devel download.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions