more Z_Notation symbols, as proposed by Simon Foster;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7ca886bf7156: more accurate spacing, according to results seen in isar-ref (Appendix B)…
- Branches
- Unknown
- Tags