Sun, 01 Oct 2017 15:17:43 +0200 | blanchet | updated SMT certificates and added one test | file | diff | annotate |
Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Thu, 18 Sep 2014 00:03:46 +0200 | blanchet | renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming | file | diff | annotate |
Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | file | diff | annotate |
Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | file | diff | annotate |
Sat, 16 Nov 2013 16:57:09 +0100 | wenzelm | proper thy_load command 'boogie_file' -- avoid direct access to file-system; | file | diff | annotate |
Tue, 23 Jul 2013 18:36:23 +0200 | boehmes | removed obsolete HOL-Boogie session; | file | diff | annotate |