merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEd4ef127b74df: added "mono" attribute to BNF generated pred_mono theorems
rISABELLE591303cc04c2: IDE build actually works (but somewhat pointless); - Branches
- Unknown
- Tags
Merged Changes
Merged Changes