testboard: Changelog

haftmann [Wed, 09 Oct 2019 14:51:54 +0000] rev 71007

dedicated fact collections for algebraic simplification rules potentially splitting goals

wenzelm [Wed, 09 Oct 2019 23:00:52 +0200] rev 71006

merged

wenzelm [Wed, 09 Oct 2019 23:00:12 +0200] rev 71005

tuned;

wenzelm [Wed, 09 Oct 2019 22:52:34 +0200] rev 71004

misc tuning and clarification;

wenzelm [Wed, 09 Oct 2019 22:22:17 +0200] rev 71003

tuned;

wenzelm [Wed, 09 Oct 2019 22:18:23 +0200] rev 71002

tuned -- allow slightly more expensive atomic proofs;

wenzelm [Wed, 09 Oct 2019 21:59:56 +0200] rev 71001

clarified signature -- some operations to support fully explicit proof terms;

wenzelm [Tue, 08 Oct 2019 16:54:23 +0200] rev 71000

tuned;

wenzelm [Tue, 08 Oct 2019 16:17:19 +0200] rev 70999

tuned;

wenzelm [Tue, 08 Oct 2019 16:11:04 +0200] rev 70998

proper treatment of sorts;

testboard