isabelle: Changelog

nipkow [Wed, 14 Nov 2012 14:11:47 +0100] rev 50060

replaced relation by function - simplifies development

traytel [Tue, 13 Nov 2012 12:12:14 +0100] rev 50059

made SMLNJ happier

traytel [Tue, 13 Nov 2012 12:06:43 +0100] rev 50058

import Sublist rather than PrefixOrder to avoid unnecessary class instantiation

haftmann [Tue, 13 Nov 2012 09:08:32 +0100] rev 50057

prefer explicit Random.seed

haftmann [Mon, 12 Nov 2012 23:24:40 +0100] rev 50056

dropped dead code

haftmann [Mon, 12 Nov 2012 23:24:40 +0100] rev 50055

tuned import order

nipkow [Mon, 12 Nov 2012 18:42:49 +0100] rev 50054

tuned layout

blanchet [Mon, 12 Nov 2012 14:46:42 +0100] rev 50053

fixed detection of tautologies -- things like "a = b" in a structured proof, where a and b are Frees, shouldn't be discarted as tautologies

blanchet [Mon, 12 Nov 2012 14:11:51 +0100] rev 50052

create temp directory if not already created

nipkow [Mon, 12 Nov 2012 12:28:19 +0100] rev 50051

merged

isabelle