diff options
| author | David Aspinall | 2007-12-10 10:33:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 10:33:31 +0000 |
| commit | a55aa8dcc7944495690755ee32756bd04a187c76 (patch) | |
| tree | 31747b142407d8383fa970b3c667657cb01e3800 /isar/Example.thy | |
| parent | 4d2902e4493a778889100a0d4c0c03a42ceebedf (diff) | |
Shorten tooltip
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions