tuned output syntax: Hoare triples are now blocks
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE57df04e4f018: tuned output syntax: INV and VAR are now blocks
- Branches
- Unknown
- Tags
tuned output syntax: Hoare triples are now blocks Tags None Subscribers None
Description
Details
|