merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE67e77f1e6d7b: added special syntax for FSet.Ball and FSet.Bex
rISABELLE60b6c735b5d5: clarified signature: prefer authentic cterm used in Simplifier, avoid potential… - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- f82639fe786e update NEWS;
- 68f6b29ae066 tuned;
- 9279e96eb34e clarified signature;Author
- 7d8a24c5559d tuned signature;Author
- a213dd3c0b29 tuned signature;Author