diff options
| author | David Aspinall | 1999-04-07 14:28:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-04-07 14:28:27 +0000 |
| commit | 207fad4cdad17e6b12152d6c9bcdca466d7d0b46 (patch) | |
| tree | 3544cc407a528f227e11f35b8e8f97c8d47bc5e3 /isar/Example.thy | |
| parent | 25771d50dd03b2831db0f236ade7860ca412e67f (diff) | |
Merged changes sent by Patrick Loiseleur.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions