diff options
| author | Pierre Courtieu | 2004-04-05 15:30:23 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-05 15:30:23 +0000 |
| commit | e15470fba6208e47a1a5c8e6e9cf1bd12be4c820 (patch) | |
| tree | fa9b5dd6b1ed3114e5e65c5bfd24381cfbd6e90b /isar/Example-Xsym.thy | |
| parent | 7936d6b8fe6dbcb03532be76b1159020d1c7aa09 (diff) | |
Fixed the short doc on holes
Diffstat (limited to 'isar/Example-Xsym.thy')
0 files changed, 0 insertions, 0 deletions