diff options
| author | David Aspinall | 2002-08-31 13:34:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-31 13:34:06 +0000 |
| commit | a8f40617f17585d9f21ae3af6678dedb7119d593 (patch) | |
| tree | 0b0f404b4fbdb461435f53a958d4c19ee7a80cf0 /isar/Example.thy | |
| parent | 31193acaa994d4c4d576668c83cd5e372e878a59 (diff) | |
Fix typo.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions