clarified messages: indicate termination explicitly;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4269db8981b8: avoid vacous type variable, due to "potentially redundant" shyps in Thm.
- Branches
- Unknown
- Tags