merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE029cd4e1a2c7: support to synchronize Isabelle + AFP repositories;
rISABELLE9e34819a7ca1: added lemmas Multiset.bex_{least,greatest}_element - Branches
- Unknown
- Tags
Merged Changes
Merged Changes