isabelle: Changelog

blanchet [Tue, 21 Jan 2014 13:05:22 +0100] rev 55094

removed dependency on 'Datatype' structure

blanchet [Tue, 21 Jan 2014 10:06:51 +0100] rev 55093

made SML/NJ happier

traytel [Tue, 21 Jan 2014 07:18:05 +0100] rev 55092

compile

blanchet [Tue, 21 Jan 2014 01:14:49 +0100] rev 55091

compile

blanchet [Mon, 20 Jan 2014 23:43:42 +0100] rev 55090

technical import to avoid infamous 'duplicate Option.size' error at merge time in 'List.thy'

blanchet [Mon, 20 Jan 2014 23:34:26 +0100] rev 55089

swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up)

blanchet [Mon, 20 Jan 2014 23:07:23 +0100] rev 55088

moved 'bacc' back to 'Enum' (cf. 744934b818c7) -- reduces baggage loaded by 'Hilbert_Choice'

blanchet [Mon, 20 Jan 2014 22:24:48 +0100] rev 55087

renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)

blanchet [Mon, 20 Jan 2014 21:45:08 +0100] rev 55086

hide BNF notation

blanchet [Mon, 20 Jan 2014 21:32:41 +0100] rev 55085

moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain

isabelle