diff options
| author |  boehmes <unknown> | 2012-09-27 17:13:39 +0200 |
|---|---|---|
| committer | boehmes <unknown> | 2012-09-27 17:13:39 +0200 |
| commit | ac41d9d5613640f06e8b553869cbba65c4183967 (patch) | |
| tree | 5be4f77989d5cd50291592efb607cf5b54e2a0dc /Test/aitest1 | |
| parent | 00ece9690862b315ac57c45c1dfb066f5d53b4cb (diff) | |
Removed abandoned Isabelle prover backend
Diffstat (limited to 'Test/aitest1')
0 files changed, 0 insertions, 0 deletions