diff options
| author | David Aspinall | 2000-06-05 14:00:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 14:00:41 +0000 |
| commit | 8a300d77dab9e8985a8de3050861c1f20bbd7b67 (patch) | |
| tree | 404c05399a18c350878c020f2214ba5b6c19b676 /isar/Example.thy | |
| parent | 8ddfe310072fb9ba46cca11a3a52b45f1d9a94a2 (diff) | |
Temporary bug fix to solve nil span error message
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions