diff options
| author | David Aspinall | 1999-09-23 12:27:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-23 12:27:47 +0000 |
| commit | dc3a8a2820d90181f8df39993e500f945c01f100 (patch) | |
| tree | 38612c30fe6db07c75b8d31629c3fc27551d1da4 /isar/Example.thy | |
| parent | c7ceffcbca6d91746b20e76fedbf11a3a3b01666 (diff) | |
Fixed up date order.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions