diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-09-14 09:53:06 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-09-14 09:53:06 +0200 |
| commit | bb8e1808e6ef6e36a7b81ed78a7e1d7024308737 (patch) | |
| tree | cd3e4775cdeb653bab0a6fc691a3d486202102f7 /src/proof/fra | |
| parent | 452303b77ab9181087624e6562fba7b6160afda6 (diff) | |
| download | abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.tar.gz abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.tar.bz2 abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.zip | |
New search strategy in BMS.
Diffstat (limited to 'src/proof/fra')
0 files changed, 0 insertions, 0 deletions