diff options
| author | Patrick Loiseleur | 1999-04-20 17:12:34 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-04-20 17:12:34 +0000 |
| commit | 6d1e73f779463872f89b9c0a27b0670898bbd9a8 (patch) | |
| tree | f186c6782bce178d8f4a29b4260923f60617cda8 /isar/Example.thy | |
| parent | 9bafbd1b551c9cf8d7c3a7fb96511966ed094831 (diff) | |
A few coloring tricks
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions