isabelle: Changelog

paulson [Thu, 28 Oct 1999 16:07:12 +0200] rev 7964

localTo_imp_o_localTo is now really an implication

paulson [Thu, 28 Oct 1999 16:06:07 +0200] rev 7963

simplified the stable_completion proofs

paulson [Thu, 28 Oct 1999 16:04:57 +0200] rev 7962

tidied

paulson [Thu, 28 Oct 1999 14:55:23 +0200] rev 7961

expandshort

wenzelm [Thu, 28 Oct 1999 14:00:25 +0200] rev 7960

improved IsarThy.init_context;

wenzelm [Thu, 28 Oct 1999 13:55:17 +0200] rev 7959

tuned;

oheimb [Wed, 27 Oct 1999 19:32:19 +0200] rev 7958

added various little lemmas

oheimb [Wed, 27 Oct 1999 19:29:47 +0200] rev 7957

clarsimp_tac now copes with the (unwanted) case that the simplifier splits the goal

wenzelm [Wed, 27 Oct 1999 18:12:40 +0200] rev 7956

tuned msg;

wenzelm [Wed, 27 Oct 1999 18:11:54 +0200] rev 7955

tuned;

isabelle