set up code generation for fset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE7735645667f0: redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.
- Branches
- Unknown
- Tags
set up code generation for fset Tags None Subscribers None
Description
Details
|