diff options
| author | David Aspinall | 2011-10-03 08:52:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-10-03 08:52:46 +0000 |
| commit | 1be73161636884185c01b470c24251cf9a37962e (patch) | |
| tree | 46d929b6820cbf738c468be8209c0517c0a0817d /isar/Example.thy | |
| parent | 5bce36660b3db1b7253278903376efa3cb938019 (diff) | |
Remove some non-existent ignored files
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions