isabelle: Changelog

blanchet [Tue, 10 Jun 2014 21:15:57 +0200] rev 57206

changed syntax of map: and rel: arguments to BNF-based datatypes

blanchet [Tue, 10 Jun 2014 19:51:00 +0200] rev 57205

tuning

blanchet [Tue, 10 Jun 2014 19:15:15 +0200] rev 57204

updated Z3 certificates

blanchet [Tue, 10 Jun 2014 19:15:14 +0200] rev 57203

generate ':named' attributes in SMT-LIB 2 problems, to facilitate reconstruction

blanchet [Tue, 10 Jun 2014 19:15:14 +0200] rev 57202

tuning

Andreas Lochbihler [Tue, 10 Jun 2014 18:24:53 +0200] rev 57201

add type class instances for unit

blanchet [Tue, 10 Jun 2014 12:16:22 +0200] rev 57200

use 'where' clause for selector default value syntax

blanchet [Tue, 10 Jun 2014 11:38:53 +0200] rev 57199

tuning

nipkow [Mon, 09 Jun 2014 16:08:30 +0200] rev 57198

added List.union

nipkow [Mon, 09 Jun 2014 12:36:22 +0200] rev 57197

Sup/Inf on functions decoupled from complete_lattice.

isabelle