src/HOL/ex/veriT_Preprocessing.thy
Thu, 01 Nov 2018 14:36:19 +0100 blanchet more
Thu, 01 Nov 2018 09:25:58 +0100 blanchet added an example
Fri, 10 Feb 2017 11:13:19 +0100 blanchet renamings
Fri, 10 Feb 2017 08:27:27 +0100 blanchet tuning
Thu, 02 Feb 2017 14:42:06 +0100 blanchet added veriT preprocessing proof reconstruction example
less more (0) tip