isabelle: Changelog

wenzelm [Thu, 19 Nov 1998 11:49:09 +0100] rev 5938

match_bind: 'as' patterns; statements: 'is' patterns;

wenzelm [Thu, 19 Nov 1998 11:47:56 +0100] rev 5937

let: 'as' patterns; statements: propp ('is' patterns);

wenzelm [Thu, 19 Nov 1998 11:47:22 +0100] rev 5936

match_bind(_i): 'as' patterns; assume, theorem, show etc.: propp; tuned qed msg;

wenzelm [Thu, 19 Nov 1998 11:46:24 +0100] rev 5935

term_pat vs. prop_pat; added bind_propp(_i); assume: propp;

wenzelm [Thu, 19 Nov 1998 11:45:26 +0100] rev 5934

term_pat vs. prop_pat;

wenzelm [Thu, 19 Nov 1998 11:44:59 +0100] rev 5933

no warning for "it" theorems;

paulson [Wed, 18 Nov 1998 16:24:33 +0100] rev 5932

tidied

paulson [Wed, 18 Nov 1998 15:10:46 +0100] rev 5931

Finally removing "Compl" from HOL

wenzelm [Wed, 18 Nov 1998 11:12:29 +0100] rev 5930

exn_message FAIL;

wenzelm [Wed, 18 Nov 1998 11:03:49 +0100] rev 5929

blast: cla_method';

isabelle