diff options
| author | David Aspinall | 2001-09-03 21:46:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-03 21:46:29 +0000 |
| commit | a6df07141665078a6f090a4dd20571fb9c0a68fd (patch) | |
| tree | 72ba1f6f4819d6c6834167a99a317dd3360a85d4 /isar/Example.thy | |
| parent | 96a4bbd4d51fdf065ceb983d47f4303b43b8eb08 (diff) | |
Accidental commit; revert to original.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions