Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | adapted theories to '{case,rec}_{list,option}' names | file | diff | annotate |
Thu, 19 Sep 2013 18:03:54 +0200 | haftmann | dropped dead code | file | diff | annotate |
Tue, 14 May 2013 20:32:10 +0200 | wenzelm | removed dead code; | file | diff | annotate |
Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
Sat, 17 Mar 2012 12:52:40 +0100 | wenzelm | renamed HOL-Matrix to HOL-Matrix_LP to avoid name clash with AFP; | file | diff | annotate | base |