removed spurious documentation item
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE2783779b7dd3: removed obsolete unmaintained experimental prover Pirate
- Branches
- Unknown
- Tags
removed spurious documentation item Tags None Subscribers None |