Wed, 29 Sep 2021 18:21:22 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Thu, 01 Nov 2018 14:36:19 +0100 | blanchet | more | file | diff | annotate |
Thu, 01 Nov 2018 09:25:58 +0100 | blanchet | added an example | file | diff | annotate |
Fri, 10 Feb 2017 11:13:19 +0100 | blanchet | renamings | file | diff | annotate |
Fri, 10 Feb 2017 08:27:27 +0100 | blanchet | tuning | file | diff | annotate |
Thu, 02 Feb 2017 14:42:06 +0100 | blanchet | added veriT preprocessing proof reconstruction example | file | diff | annotate |