diff options
| author | David Aspinall | 2009-08-07 14:40:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-07 14:40:00 +0000 |
| commit | fcd935b7a2713230349e70f1a13dc6ca0a29fe7c (patch) | |
| tree | b2e88b0b49f6b0ecbde86b470dc3aa720f073f3f /isar/Example.thy | |
| parent | fa8a8cf284c1ccde49fdadaacc861d5505c94f80 (diff) | |
Fix pareno
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions