diff options
| author | David Aspinall | 2012-02-08 18:29:13 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-02-08 18:29:13 +0000 |
| commit | b0c6cae90829ba5b12a466716e4f3626e6cc70b5 (patch) | |
| tree | 61644e29ae00e9e92d80ef86cddb04274fc62823 /isar/Example.thy | |
| parent | 6836d87659da62abb68f6b461fb378fbc0c9b041 (diff) | |
Duplicate proof
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions