clarified order for presentation in isar-ref (Appendix B);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2200a19cac72: prefer explicit \<Zproject> (with its own Unicode codepoint);
- Branches
- Unknown
- Tags
clarified order for presentation in isar-ref (Appendix B); Tags None Subscribers None
Description
Details
|