Fri, 14 Feb 2014 07:53:45 +0100 | blanchet | merged 'List.map' and 'List.list.map' | file | diff | annotate |
Wed, 25 Dec 2013 17:39:07 +0100 | haftmann | abolished slightly odd global lattice interpretation for min/max | file | diff | annotate |
Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
Thu, 03 Jan 2013 17:28:55 +0100 | blanchet | use new skolemizer for reconstructing skolemization steps in Isar proofs (because the old skolemizer messes up the order of the Skolem arguments) | file | diff | annotate |
Fri, 19 Oct 2012 15:12:52 +0200 | webertj | Renamed {left,right}_distrib to distrib_{right,left}. | file | diff | annotate |
Thu, 01 Dec 2011 13:34:12 +0100 | blanchet | tuning | file | diff | annotate |
Tue, 15 Nov 2011 12:39:29 +0100 | huffman | avoid theorem references like 'semiring_norm(111)' | file | diff | annotate |
Mon, 06 Jun 2011 20:36:35 +0200 | blanchet | tuned Metis examples | file | diff | annotate | base |