diff options
| author | Makarius Wenzel | 2000-07-08 14:29:29 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-07-08 14:29:29 +0000 |
| commit | 1612ca82fab5e174d2454e1dd9a91192d14dc2ca (patch) | |
| tree | 0af3a8c46cbb43b6fc3808324f635618760482a3 /generic | |
| parent | 6289242baa74267064cfde04f6a95565eceed171 (diff) | |
proof-prog-name: use isabelle-command-line;
removed misc junk;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions