| Sun, 06 Apr 2025 15:50:56 +0200 | wenzelm | more comments; | changeset | files |
| Sun, 06 Apr 2025 15:47:23 +0200 | wenzelm | mandatory option --enable-ho (see also fc5f10691147); | changeset | files |
| Sun, 06 Apr 2025 15:11:40 +0200 | wenzelm | update to e-3.2, which is actually 3.2.5; | changeset | files |
| Sun, 06 Apr 2025 14:20:41 +0200 | haftmann | reflect nested lists in variables names | changeset | files |
| Sat, 05 Apr 2025 23:51:52 +0200 | nipkow | Simplified lemma (as suggetsed by Stepan Holub) | changeset | files |
| Sat, 05 Apr 2025 08:49:53 +0200 | haftmann | incorporate target-language integer implementation of bit shifts into Main | changeset | files |
| Fri, 04 Apr 2025 23:12:20 +0200 | haftmann | represent constants with explicit typargs to avoid false positives for equality approximations like ‹card UNIV === card UNIV› | changeset | files |
| Fri, 04 Apr 2025 23:12:19 +0200 | haftmann | restored type reconstruction for nbe: remaining type variables must remain schematic for checking | changeset | files |