diff options
| author | David Aspinall | 2002-09-11 14:49:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-11 14:49:00 +0000 |
| commit | aa55f69270d2fa9bac16a4950132b6a221374fc1 (patch) | |
| tree | da501a69baa7899ad406b44150bf6592cb4aafd3 /isar/Example.thy | |
| parent | e49408f5b78c2f04aad874b398c257107218eede (diff) | |
Add comment at end
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions