merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEb5031a8f7718: added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to…
rISABELLE25e9e7088561: address problems with launch4j and jdk-17 (see also 41d009462d3c); - Branches
- Unknown
- Tags
Merged Changes
Merged Changes