merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbadb5264f7b9: clarified signature: just one level of arguments to avoid type-inferenceā¦
rISABELLE1c083e32aed6: stated goals of some lemmas explicitely to prevent silent changes - Branches
- Unknown
- Tags
Merged Changes
Merged Changes