| Sat, 27 Feb 2021 16:33:16 +0100 | wenzelm | discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working; | changeset | files |
| Sat, 27 Feb 2021 13:39:06 +0100 | wenzelm | more checks; | changeset | files |
| Sat, 27 Feb 2021 13:37:04 +0100 | wenzelm | clarified message; | changeset | files |
| Sat, 27 Feb 2021 13:20:52 +0100 | wenzelm | clarified message; | changeset | files |
| Sat, 27 Feb 2021 13:01:36 +0100 | wenzelm | clarified comments; | changeset | files |
| Sat, 27 Feb 2021 11:51:39 +0100 | wenzelm | clarified message; | changeset | files |
| Fri, 26 Feb 2021 11:46:58 +0100 | nipkow | improved list_neq simproc | changeset | files |
| Thu, 25 Feb 2021 13:35:54 +0100 | haftmann | merged | changeset | files |
| Wed, 24 Feb 2021 21:45:09 +0100 | haftmann | repaired document | changeset | files |
| Wed, 24 Feb 2021 18:41:39 +0000 | paulson | merged | changeset | files |
| Wed, 24 Feb 2021 14:49:36 +0000 | paulson | merged | changeset | files |
| Wed, 24 Feb 2021 14:49:16 +0000 | paulson | A couple of basic lemmas about arg | changeset | files |
| Wed, 24 Feb 2021 13:31:33 +0000 | haftmann | multiset as equivalence class of permuted lists | changeset | files |
| Wed, 24 Feb 2021 13:31:28 +0000 | haftmann | emphasize connection to multisets | changeset | files |