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