Fri, 02 Oct 2020 10:18:50 +0200 | desharna | Add more tacing to sledgehammer_isar_trace | file | diff | annotate |
Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Thu, 13 Aug 2015 11:05:19 +0200 | wenzelm | tuned signature, in accordance to sortBy in Scala; | file | diff | annotate |
Wed, 19 Nov 2014 10:31:15 +0100 | blanchet | removed redundant code line | file | diff | annotate |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | keep skolems as is -- otherwise this breaks proof steps that refer to variables that were 'obtain'ed in the outer Isar proof | file | diff | annotate |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | file | diff | annotate | base |