diff options
| author |  stobies <unknown> | 2010-06-16 08:29:27 +0000 |
|---|---|---|
| committer | stobies <unknown> | 2010-06-16 08:29:27 +0000 |
| commit | 594a4f45c732e8e7d6beceba5a9c0d390e9f003b (patch) | |
| tree | 1d24f0be3b472fb759abb8f30eda357a6ecf1573 /BCT/BCT.sln | |
| parent | 831d6e2a0e63eed436f3cd9d67af69b17941f24b (diff) | |
Derive IsabelleContext from DeclFreeProverContext
Diffstat (limited to 'BCT/BCT.sln')
0 files changed, 0 insertions, 0 deletions