| Wed, 12 Apr 2023 10:52:50 +0200 | wenzelm | more operations; | changeset | files |
| Wed, 12 Apr 2023 10:42:23 +0200 | wenzelm | performance tuning: proper pointer_eq; | changeset | files |
| Thu, 13 Apr 2023 14:54:03 +0200 | desharna | added lemmas multpHO_repeat_mset_repeat_mset[simp] and multpHO_double_double[simp] | changeset | files |
| Thu, 13 Apr 2023 09:53:37 +0200 | desharna | merged | changeset | files |
| Wed, 12 Apr 2023 19:56:05 +0200 | desharna | added lemma multp_image_mset_image_msetI | changeset | files |
| Thu, 13 Apr 2023 15:36:30 +1000 | nipkow | merged | changeset | files |
| Thu, 13 Apr 2023 15:36:07 +1000 | nipkow | proper invariants | changeset | files |
| Wed, 12 Apr 2023 09:18:36 +0200 | wenzelm | merged | changeset | files |
| Tue, 11 Apr 2023 21:42:45 +0200 | wenzelm | misc tuning: follow Table() more closely; | changeset | files |
| Tue, 11 Apr 2023 21:02:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Apr 2023 20:52:38 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 20:32:04 +0200 | wenzelm | performance tuning: replace Ord_List by Table(); | changeset | files |
| Tue, 11 Apr 2023 15:03:02 +0200 | wenzelm | performance tuning: replace Ord_List by Set(); | changeset | files |
| Tue, 11 Apr 2023 13:23:46 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 13:06:43 +0200 | wenzelm | more operations; | changeset | files |