diff options
| author | Pierre Courtieu | 2005-02-14 23:18:36 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2005-02-14 23:18:36 +0000 |
| commit | dcf999c2498f16c1f230a0ebeb182a07f466f813 (patch) | |
| tree | 67f20963d0fa3048bc87e52a54d1fd387c83a9ae /isar/Example.thy | |
| parent | 73ed0a7638e23b3492e9fbd712083d222ec677aa (diff) | |
cleaning holes.el. All functions are prefixed with "holes-". Also
modified coq.el and coq-abbrev.el accordingly.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions