| Fri, 24 Jun 2022 10:55:23 +0200 | wenzelm | prefer scalable Bytes.T; | changeset | files |
| Sat, 25 Jun 2022 06:34:11 +0200 | Mathias Fleury | missing recursive let-expansion in SMT translation | changeset | files |
| Fri, 24 Jun 2022 21:17:35 +0200 | desharna | merged | changeset | files |
| Fri, 24 Jun 2022 10:49:40 +0200 | desharna | added lemma monotone_on_o | changeset | files |
| Fri, 24 Jun 2022 15:05:04 +0200 | desharna | redefined mono_on and strict_mono_on as an abbreviation of monotone_on | changeset | files |
| Thu, 23 Jun 2022 19:29:22 +0200 | desharna | changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates | changeset | files |
| Thu, 23 Jun 2022 23:42:47 +0200 | wenzelm | more robust CSV syntax, e.g. for "pull_date"; | changeset | files |