diff options
| author | Pierre Courtieu | 2006-09-05 14:01:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-09-05 14:01:27 +0000 |
| commit | 3817b477032a4fc82dd9df9b6e26c82ca77106e8 (patch) | |
| tree | 1bf824d9f5c8d4bbb342093d3fd96c28cfb4cca9 /isa/Example.thy | |
| parent | e76f14da4b7e737a5b6f5321c02127256d0b65df (diff) | |
still experimenting error highliting
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions