diff options
| author | David Aspinall | 2010-08-25 15:09:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-25 15:09:40 +0000 |
| commit | 0adcff5916c38e946e1db3a09b380439b74e4563 (patch) | |
| tree | 6a0da13af8254848d1d46f503627626ab889cd2d /isar/Example.thy | |
| parent | b668ec516b689f06396b0205b20cf9bce16be94d (diff) | |
Renamed file obsolete/plastic/plastic.el, formerly plastic/plastic.el
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions