diff options
| author | David Aspinall | 2009-08-14 12:49:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-14 12:49:17 +0000 |
| commit | 86d27b50e103ac2cce25b9543e81d405ce061b9f (patch) | |
| tree | 840e204db3451c902ed0ab9cd665d4fd5afd4d8b /isar/Example.thy | |
| parent | 6bf9310b98723952fb40e94aea45c0df3115403c (diff) | |
Add identifier info command to toolbar
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions