isabelle: Changelog

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

wenzelm [Mon, 10 Nov 1997 15:05:41 +0100] rev 4193

check files for non-ASCII characters;

oheimb [Mon, 10 Nov 1997 14:57:31 +0100] rev 4192

replaced 8bit characters

wenzelm [Mon, 10 Nov 1997 14:30:35 +0100] rev 4191

fixed LAM<...> syntax;

wenzelm [Mon, 10 Nov 1997 11:47:32 +0100] rev 4190

fixed spelling;

oheimb [Fri, 07 Nov 1997 18:05:25 +0100] rev 4189

added split_prem_tac

oheimb [Fri, 07 Nov 1997 18:02:15 +0100] rev 4188

changed libraray function find to find_index_eq, currying it

oheimb [Fri, 07 Nov 1997 17:51:26 +0100] rev 4187

added contrapos

isabelle