blanchet [Fri, 10 Mar 2023 15:27:18 +0100] rev 77602
use simplifier to classify the missing assumptions in Sledgehammer's abduction mechanism
blanchet [Fri, 10 Mar 2023 11:56:52 +0100] rev 77601
don't try to falisfy goals with schematics
wenzelm [Thu, 09 Mar 2023 14:29:46 +0100] rev 77600
enforce rebuild of Isabelle/ML;
wenzelm [Thu, 09 Mar 2023 12:55:00 +0100] rev 77599
more robust transactions;
wenzelm [Thu, 09 Mar 2023 12:54:19 +0100] rev 77598
proper support for Option[Date] columns;
wenzelm [Thu, 09 Mar 2023 12:13:01 +0100] rev 77597
more robust transactions;
wenzelm [Thu, 09 Mar 2023 11:55:20 +0100] rev 77596
clarified signature;
wenzelm [Wed, 08 Mar 2023 22:43:04 +0100] rev 77595
enforce rebuild of Isabelle/ML;
wenzelm [Wed, 08 Mar 2023 22:42:21 +0100] rev 77594
proper test (amending 32f9e75c92e9);
wenzelm [Wed, 08 Mar 2023 22:40:47 +0100] rev 77593
updated to sqlite-jdbc-3.41.0.0;