diff options
| author | David Aspinall | 1998-10-19 14:44:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-19 14:44:01 +0000 |
| commit | 85ac33580832c1af614a4b2072c8212fd1fd7e22 (patch) | |
| tree | c0746ba5399cf7ecd2eb1345cd39bbaee7a8948a /generic/proof-syntax.el | |
| parent | 66b22407c49185b58a8da11283dafbc3fee1a264 (diff) | |
todo for multiple files in Isabelle
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions