diff options
| author | David Aspinall | 2004-03-23 12:54:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-23 12:54:07 +0000 |
| commit | 1c6b097797d1294f4902dd5b30f02e24cbc1e1de (patch) | |
| tree | 8ccce187ae32cb5e1e618a0a839f65429a95a9a9 /isar/Example.thy | |
| parent | eab3b1d134cc58d975a81cacfb5ef4008aeefec6 (diff) | |
Updated.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions