diff options
| author | David Aspinall | 1998-10-21 10:12:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:12:06 +0000 |
| commit | 5c80e1c3da263e208f16d2e589330b458ac61483 (patch) | |
| tree | 3ef03db18b3f4e54302d7f20939a84e12a231042 /etc/ProofGeneral.patch | |
| parent | b8cd86cd4c7dc8ada21566482c95016f50f6e617 (diff) | |
Added functions to support multiple files, sending use_thy to Isabelle
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions