diff options
| author | David Aspinall | 2009-08-07 14:40:17 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-07 14:40:17 +0000 |
| commit | b4a8dafffec6c5fc44228760bd227617086581e0 (patch) | |
| tree | 1c1262644e65defd2f0a7692d86071393a6fdbe8 /isar/Example.thy | |
| parent | fcd935b7a2713230349e70f1a13dc6ca0a29fe7c (diff) | |
proof-full-annotation: change default
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions