diff options
| author | David Aspinall | 1999-09-13 15:23:45 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 15:23:45 +0000 |
| commit | ae2e8b919a412bbb5d95999ee6609cf724b10471 (patch) | |
| tree | 55bf02fb8e8d81da32ea471f57dcad9f058eaeda /isar/Example.thy | |
| parent | 02cbe0b4a6b6daceed5870a29288131a7b305e41 (diff) | |
Altered to use craro since scar now broken.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions