more Isabelle symbol definitions for Z Notation, based on https://github.com/isabelle-utp/Z_Toolkit 998c9f7880d3 by Simon Foster;
NB: no bold version of 0x2900 due to fontforge crash "Internal Error: Some fragments did not join";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf817692c929f: tuned message;
- Branches
- Unknown
- Tags