isabelle: Changelog

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.

haftmann [Sun, 08 Jun 2014 23:30:53 +0200] rev 57196

tuned data structure

haftmann [Sun, 08 Jun 2014 23:30:52 +0200] rev 57195

recovered level-free fishing for locale, accidentally lost in dce365931721

haftmann [Sun, 08 Jun 2014 23:30:52 +0200] rev 57194

tuned terminology: emphasize stack-like nature of nested local theories

isabelle