isabelle: Changelog

oheimb [Wed, 12 Nov 1997 12:23:37 +0100] rev 4203

renamed split_prem_tac to split_asm_tac

oheimb [Wed, 12 Nov 1997 12:22:56 +0100] rev 4202

renamed split_prem_tac to split_asm_tac split_asm_tac: simplification, debugged first_prem_is_disj

paulson [Tue, 11 Nov 1997 16:04:14 +0100] rev 4201

Fixed indentation

paulson [Tue, 11 Nov 1997 15:45:56 +0100] rev 4200

Rationalized the theorem if_image_distrib. Added parens to not_empty.

paulson [Tue, 11 Nov 1997 12:30:51 +0100] rev 4199

Fixed indentation

paulson [Tue, 11 Nov 1997 11:16:18 +0100] rev 4198

Fixed spelling error

paulson [Tue, 11 Nov 1997 11:15:51 +0100] rev 4197

Made some proofs more robust

paulson [Tue, 11 Nov 1997 11:12:37 +0100] rev 4196

Now applies "map negOfGoal" to lits when expanding haz rules. Also improved comments

wenzelm [Mon, 10 Nov 1997 15:25:12 +0100] rev 4195

ASCII-fied;

oheimb [Mon, 10 Nov 1997 15:06:58 +0100] rev 4194

polished definition of find_index_eq

isabelle