merge
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rAFPa1646dae4b28: tuning, including a suggestion by Tobias N.
rAFPc78f358a496d: Adapted to isabelle-dev/159e33bdddc6 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes