merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEcbf011677235: added lemmas filter_mset_cong{0,}
rISABELLE160c9c18a707: »nil« seems to be a reserved constructor word in PolyML - Branches
- Unknown
- Tags
Merged Changes
Merged Changes