isabelle: Changelog

paulson [Tue, 23 Dec 1997 11:43:48 +0100] rev 4470

Tidied using more default rules

paulson [Tue, 23 Dec 1997 11:41:12 +0100] rev 4469

Overloading info for image

paulson [Tue, 23 Dec 1997 11:40:47 +0100] rev 4468

tidied

paulson [Tue, 23 Dec 1997 11:40:18 +0100] rev 4467

New rules rev_iffD{1,2}

paulson [Tue, 23 Dec 1997 11:39:03 +0100] rev 4466

Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac

paulson [Tue, 23 Dec 1997 11:37:48 +0100] rev 4465

New "obvious theorems"

paulson [Mon, 22 Dec 1997 12:22:06 +0100] rev 4464

Added range-type for completeness

paulson [Mon, 22 Dec 1997 12:21:37 +0100] rev 4463

New example

paulson [Mon, 22 Dec 1997 11:16:47 +0100] rev 4462

New rules rev_iffD{1,2}

oheimb [Fri, 19 Dec 1997 19:59:50 +0100] rev 4461

corrected removal to /tmp/tmp.c

isabelle