diff options
| author | David Aspinall | 2010-08-25 15:09:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-25 15:09:42 +0000 |
| commit | 2e42a7b66e2168cdd53fe1b3090df0d674494999 (patch) | |
| tree | 4bc83bddd4c2fff3e6a46c0640e9e9c22474af8c /isar/Example.thy | |
| parent | 0adcff5916c38e946e1db3a09b380439b74e4563 (diff) | |
Renamed from plastic/plastic.el to obsolete/plastic/plastic.el
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions