| Wed, 22 Jun 2022 16:25:22 +0200 | wenzelm | removed unused operations; | changeset | files |
| Wed, 22 Jun 2022 16:24:57 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Wed, 22 Jun 2022 14:31:18 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 14:26:11 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 22 Jun 2022 14:22:08 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 14:18:48 +0200 | wenzelm | clarified session resources for bootstrap, notably for Scala functions; | changeset | files |
| Wed, 22 Jun 2022 14:16:45 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 22 Jun 2022 13:42:30 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 22 Jun 2022 11:23:53 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 22 Jun 2022 11:09:31 +0200 | wenzelm | clarified types and defaults; | changeset | files |
| Wed, 22 Jun 2022 14:52:27 +0200 | desharna | merged | changeset | files |
| Tue, 21 Jun 2022 14:21:55 +0200 | desharna | added lemmas monotone{,_on}_multp_multp_image_mset | changeset | files |
| Tue, 21 Jun 2022 13:40:35 +0200 | desharna | added lemmas monotone_on_empty[simp] and monotone_on_subset | changeset | files |
| Tue, 21 Jun 2022 13:39:06 +0200 | desharna | added predicate monotone_on and redefined monotone to be an abbreviation. | changeset | files |