Fri, 24 Sep 2021 11:04:18 +0000 apply declarations from interpretations in eigen context also
haftmann [Fri, 24 Sep 2021 11:04:18 +0000] rev 74727
apply declarations from interpretations in eigen context also
Fri, 24 Sep 2021 13:40:14 +0200 grant access to sun.tools.jconsole, as required for Java 17;
wenzelm [Fri, 24 Sep 2021 13:40:14 +0200] rev 74726
grant access to sun.tools.jconsole, as required for Java 17;
Fri, 24 Sep 2021 12:53:11 +0200 update to e-2.6, following Martin Desharnais;
wenzelm [Fri, 24 Sep 2021 12:53:11 +0200] rev 74725
update to e-2.6, following Martin Desharnais;
Mon, 27 Sep 2021 10:32:21 +0000 Fix eta-contraction issues and add proper tracing draft order-prover
Lukas Stevens <mail@lukas-stevens.de> [Mon, 27 Sep 2021 10:32:21 +0000] rev 74724
Fix eta-contraction issues and add proper tracing
Thu, 23 Sep 2021 18:18:36 +0200 Don't recurse more than one level for Not draft closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 18:18:36 +0200] rev 74723
Don't recurse more than one level for Not
Thu, 23 Sep 2021 16:17:59 +0000 Begin debugging failure in HOL-Analysis draft order-prover
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 16:17:59 +0000] rev 74722
Begin debugging failure in HOL-Analysis
Thu, 23 Sep 2021 14:55:40 +0200 merged; draft order-prover
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:55:40 +0200] rev 74721
merged;
Thu, 23 Sep 2021 14:42:15 +0200 merged; draft
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:42:15 +0200] rev 74720
merged;
Thu, 23 Sep 2021 14:41:35 +0200 Add empty line draft closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:41:35 +0200] rev 74719
Add empty line
Thu, 23 Sep 2021 14:27:33 +0200 merged; closure-solver
Lukas Stevens <mail@lukas-stevens.de> [Thu, 23 Sep 2021 14:27:33 +0200] rev 74718
merged;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip