| 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 |
| Tue, 11 Apr 2023 11:28:57 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 11:24:19 +0200 | wenzelm | performance tuning: replace Table() by Set(); | changeset | files |
| Tue, 11 Apr 2023 11:16:33 +0200 | wenzelm | minor performance tuning: more compact persistent data; | changeset | files |
| Tue, 11 Apr 2023 10:46:43 +0200 | wenzelm | performance tuning: replace Table() by Set(); | changeset | files |
| Tue, 11 Apr 2023 10:45:04 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 10:44:32 +0200 | wenzelm | more operations; | changeset | files |
| Tue, 11 Apr 2023 09:54:46 +0200 | wenzelm | unused (see 34dd96a06c45); | changeset | files |
| Tue, 11 Apr 2023 09:49:30 +0200 | wenzelm | more compact data: approx. 75% .. 85% of AList size; | changeset | files |
| Tue, 11 Apr 2023 09:01:09 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Apr 2023 11:59:06 +0000 | haftmann | some remarks on division | changeset | files |
| Tue, 11 Apr 2023 11:59:02 +0000 | haftmann | proper section headings | changeset | files |
| Mon, 10 Apr 2023 23:21:47 +0200 | wenzelm | more NEWS; | changeset | files |
| Mon, 10 Apr 2023 23:11:04 +0200 | wenzelm | clarified NEWS; | changeset | files |
| Mon, 10 Apr 2023 22:38:18 +0200 | wenzelm | performance tuning: replace Ord_List by Set(); | changeset | files |
| Mon, 10 Apr 2023 20:51:01 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Apr 2023 19:37:15 +0200 | wenzelm | performance tuning: replace Ord_List by Table(); | changeset | files |