isabelle: Changelog

boehmes [Wed, 08 Dec 2010 08:33:02 +0100] rev 41072

be more flexible: store SMT built-in symbols in generic contexts (not in theory contexts)

haftmann [Tue, 07 Dec 2010 21:58:36 +0100] rev 41071

merged

haftmann [Tue, 07 Dec 2010 16:33:54 +0100] rev 41070

more concise case names; proved extensionality

haftmann [Tue, 07 Dec 2010 16:33:54 +0100] rev 41069

name filter operation just filter (c.f. List.filter and list comprehension syntax)

haftmann [Tue, 07 Dec 2010 21:32:47 +0100] rev 41068

tuned whitespace

wenzelm [Tue, 07 Dec 2010 17:23:14 +0100] rev 41067

eliminated some hard tabulators (deprecated);

blanchet [Tue, 07 Dec 2010 16:27:07 +0100] rev 41066

pass constant arguments to the built-in check function, cf. d2b1fc1b8e19

boehmes [Tue, 07 Dec 2010 15:55:35 +0100] rev 41065

merged

boehmes [Tue, 07 Dec 2010 15:44:38 +0100] rev 41064

updated SMT certificates

boehmes [Tue, 07 Dec 2010 15:01:42 +0100] rev 41063

reduced unnecessary complexity; improved documentation; tuned

isabelle