isabelle: Changelog

krauss [Mon, 23 Oct 2006 17:46:11 +0200] rev 21100

Fixed bug in the handling of congruence rules

haftmann [Mon, 23 Oct 2006 16:56:35 +0200] rev 21099

(added entry)

haftmann [Mon, 23 Oct 2006 16:49:21 +0200] rev 21098

switched merge_alists'' to AList.merge'' whenever appropriate

paulson [Mon, 23 Oct 2006 11:18:50 +0200] rev 21097

new single-step proofs

paulson [Mon, 23 Oct 2006 11:18:25 +0200] rev 21096

meson method MUST NOT use all safe rules, only basic ones for the logical connectives.

paulson [Mon, 23 Oct 2006 11:17:29 +0200] rev 21095

Improved tracing

haftmann [Mon, 23 Oct 2006 11:17:24 +0200] rev 21094

fixed two bugs

haftmann [Mon, 23 Oct 2006 11:05:33 +0200] rev 21093

bugfixes

haftmann [Mon, 23 Oct 2006 11:05:08 +0200] rev 21092

added example with split

haftmann [Mon, 23 Oct 2006 11:05:07 +0200] rev 21091

cleanup in ML setup code

isabelle