Sat, 04 Jul 2020 20:45:24 +0000 factored out auxiliary theory
haftmann [Sat, 04 Jul 2020 20:45:24 +0000] rev 72227
factored out auxiliary theory
Sat, 04 Jul 2020 20:45:21 +0000 prefer explicit proof
haftmann [Sat, 04 Jul 2020 20:45:21 +0000] rev 72226
prefer explicit proof
Fri, 03 Jul 2020 17:11:57 +0200 tuned whitespace;
wenzelm [Fri, 03 Jul 2020 17:11:57 +0200] rev 72225
tuned whitespace;
Fri, 03 Jul 2020 17:11:26 +0200 use less memory on old hardware;
wenzelm [Fri, 03 Jul 2020 17:11:26 +0200] rev 72224
use less memory on old hardware;
Fri, 03 Jul 2020 17:00:41 +0200 clarified signature;
wenzelm [Fri, 03 Jul 2020 17:00:41 +0200] rev 72223
clarified signature;
Fri, 03 Jul 2020 16:48:57 +0200 clarified log message (more uniform);
wenzelm [Fri, 03 Jul 2020 16:48:57 +0200] rev 72222
clarified log message (more uniform);
Fri, 03 Jul 2020 06:18:29 +0000 misc lemma tuning
haftmann [Fri, 03 Jul 2020 06:18:29 +0000] rev 72221
misc lemma tuning
Fri, 03 Jul 2020 06:18:27 +0000 explicit proofs for bit projections
haftmann [Fri, 03 Jul 2020 06:18:27 +0000] rev 72220
explicit proofs for bit projections
Thu, 02 Jul 2020 12:10:58 +0000 extraction of equations x = t from premises beneath meta-all
haftmann [Thu, 02 Jul 2020 12:10:58 +0000] rev 72219
extraction of equations x = t from premises beneath meta-all
Thu, 02 Jul 2020 08:49:04 +0000 a small aggiornamento for Z2
haftmann [Thu, 02 Jul 2020 08:49:04 +0000] rev 72218
a small aggiornamento for Z2
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip