removed E-SInE, a very old system by now (and SInE has been incorporated in many provers in the past decade)
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE600da8ccbe5b: removed support for iProver-Eq
- Branches
- Unknown
- Tags