| Wed, 26 Jul 2023 12:04:25 +0200 | Mathias Fleury | support for let in Alethe name bindings; | file | diff | annotate |
| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Tue, 28 Sep 2021 22:14:02 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 30 Oct 2018 16:24:04 +0100 | fleury | add reconstruction by veriT in method smt | file | diff | annotate |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | file | diff | annotate | base |