isabelle: Changelog

paulson [Wed, 21 Jul 1999 15:23:18 +0200] rev 7058

removed 2 qed_goals

paulson [Wed, 21 Jul 1999 15:22:11 +0200] rev 7057

tweaked proofs to handle new freeness reasoning for data c onstructors

paulson [Wed, 21 Jul 1999 15:20:26 +0200] rev 7056

more existing theorems renamed to use #0; also new results

paulson [Wed, 21 Jul 1999 15:18:36 +0200] rev 7055

now exports mk_bin

paulson [Wed, 21 Jul 1999 15:17:54 +0200] rev 7054

a more robust proof

paulson [Wed, 21 Jul 1999 15:17:30 +0200] rev 7053

tweaked proof after removal of diff_is_0_eq RS iffD2

paulson [Wed, 21 Jul 1999 15:16:32 +0200] rev 7052

better error message for curried recdefs, etc.

nipkow [Wed, 21 Jul 1999 11:34:59 +0200] rev 7051

Mod by Norber Voelcker

wenzelm [Tue, 20 Jul 1999 18:50:46 +0200] rev 7050

checkpoint;

berghofe [Tue, 20 Jul 1999 10:34:17 +0200] rev 7049

Eliminated addDistinct.

isabelle