diff options
| author | David Aspinall | 2002-08-30 17:20:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 17:20:57 +0000 |
| commit | 347fafc730e5ee97957208f6d3fe79566da61da7 (patch) | |
| tree | f62d4a7bb7b696dfc7f1219298f68d4dc95bedcf /isa/Example.thy | |
| parent | 30ca25249ad9a3baec74476e07730203a98c293e (diff) | |
Tidy display
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions