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 /Source/VCGeneration/VCGeneration.csproj | |
parent | 00ece9690862b315ac57c45c1dfb066f5d53b4cb (diff) |
Removed abandoned Isabelle prover backend
Diffstat (limited to 'Source/VCGeneration/VCGeneration.csproj')
0 files changed, 0 insertions, 0 deletions