Thu, 12 Nov 2020 16:42:22 +0100 Updated ML in forgotten in previous commit
desharna [Thu, 12 Nov 2020 16:42:22 +0100] rev 72827
Updated ML in forgotten in previous commit
Thu, 12 Nov 2020 16:18:43 +0100 Merged
desharna [Thu, 12 Nov 2020 16:18:43 +0100] rev 72826
Merged
Thu, 05 Nov 2020 19:01:25 +0100 Expanded and tuned documentation
desharna [Thu, 05 Nov 2020 19:01:25 +0100] rev 72825
Expanded and tuned documentation
Thu, 05 Nov 2020 18:14:02 +0100 Added support for TFX to Sledgehammer
desharna [Thu, 05 Nov 2020 18:14:02 +0100] rev 72824
Added support for TFX to Sledgehammer
Thu, 12 Nov 2020 14:49:02 +0100 merged
nipkow [Thu, 12 Nov 2020 14:49:02 +0100] rev 72823
merged
Thu, 12 Nov 2020 11:00:34 +0100 Tuned indentation
desharna [Thu, 12 Nov 2020 11:00:34 +0100] rev 72822
Tuned indentation
Sun, 15 Nov 2020 13:06:24 +0000 more de-applying
paulson <lp15@cam.ac.uk> [Sun, 15 Nov 2020 13:06:24 +0000] rev 72821
more de-applying
Thu, 12 Nov 2020 12:44:17 +0100 tuned
nipkow [Thu, 12 Nov 2020 12:44:17 +0100] rev 72820
tuned
Thu, 22 Oct 2020 15:18:08 +0200 Tuned isar_step datatype
desharna [Thu, 22 Oct 2020 15:18:08 +0200] rev 72819
Tuned isar_step datatype
Wed, 21 Oct 2020 17:46:51 +0200 Tuned isar_proofs constructions
desharna [Wed, 21 Oct 2020 17:46:51 +0200] rev 72818
Tuned isar_proofs constructions
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip