diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:24:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-11 09:24:24 +0000 |
| commit | daf9dc5ce8d152603c9edcfc1e966f471287f7a6 (patch) | |
| tree | 3e4b932ef3878f42ea23b70bc27387940491e0e3 /isar/isar-mmm.el | |
| parent | c559e23692bb561b4a52622c9ba8d3661b15ebe6 (diff) | |
Rename [proof]find-theorems -> isar-find-theorems
Diffstat (limited to 'isar/isar-mmm.el')
0 files changed, 0 insertions, 0 deletions