diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 19:51:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-10 19:51:02 +0000 |
| commit | 45b81a6bcc5369b3a7dbda0d6e423b8d9016f6fb (patch) | |
| tree | 3e7d20cd69e133f71e7545b7d6b73a8d3782cdff /isar/isabelle-system.el | |
| parent | 1eb2741f2022efb3b48c3fd19e472a3a1c638b33 (diff) | |
Add doc for `isabelle-chosen-logic\'
Diffstat (limited to 'isar/isabelle-system.el')
0 files changed, 0 insertions, 0 deletions