diff options
| author | David Aspinall | 2009-09-14 06:54:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 06:54:56 +0000 |
| commit | a5860920c359bc69c4ed4d3c06f4ed9d064a447d (patch) | |
| tree | 0d439ddc1eb6566d4db48e18d8dd92921347cbf2 /isar/Example.thy | |
| parent | 84681722395ef50246f54b4092c4274a493f295f (diff) | |
Rename mode names
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions