diff options
| author | David Aspinall | 2003-08-28 16:28:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-08-28 16:28:23 +0000 |
| commit | eff6c3c77810a11fa916860cf10c0f2fab60a5bf (patch) | |
| tree | bd18b913d6370c18fbf12382cc9ed93c9c4ce3fd /isar/Example-Xsym.thy | |
| parent | 80bed3f302f77296fc8e82e24613b39fd543f240 (diff) | |
Fix from Sebastian Skalberg <skalberg@in.tum.de>
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions