| Sat, 28 May 2022 22:33:04 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 28 May 2022 13:33:14 +0200 | wenzelm | support rsync; | changeset | files |
| Sat, 28 May 2022 10:45:45 +0200 | desharna | added lemmas Multiset.bex_{least,greatest}_element | changeset | files |
| Fri, 27 May 2022 16:16:45 +0200 | desharna | added predicate totalp_on and abbreviation totalp | changeset | files |