merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE33c9a670e29c: added lemma wellorder.wfp_on_less[simp]
rISABELLE26592fe88250: merged - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 7747a8efcad0 update to sumatra_pdf-3.5.2;Author
- 6c4e20a02ac7 update to jsoup-1.17.2;Author
- f91d97023beb update to dotnet-8.0.203;Author
- ebe559f5a575 enforce rebuild of Isabelle/ML;Author
- e5fda68d4996 activate postgresql-42.7.3;Author
- a2b06af75d3b update to postgresql-42.7.3;Author
- 82aaa0d8fc3b isabelle update -u cite;Author