isabelle: Changelog

wenzelm [Fri, 02 Feb 2001 22:20:09 +0100] rev 11036

use hol_simplify;

wenzelm [Fri, 02 Feb 2001 22:19:52 +0100] rev 11035

use hol_rewrite_cterm;

wenzelm [Fri, 02 Feb 2001 22:19:23 +0100] rev 11034

added hol_simplify, hol_rewrite_cterm;

wenzelm [Fri, 02 Feb 2001 22:19:02 +0100] rev 11033

split = split_conv (for compatibility);

wenzelm [Fri, 02 Feb 2001 22:18:10 +0100] rev 11032

added hidden internal_split constant; tuned;

wenzelm [Fri, 02 Feb 2001 22:17:31 +0100] rev 11031

isatool convert;

paulson [Fri, 02 Feb 2001 11:42:36 +0100] rev 11030

new theorem fib_mult_eq_setsum

oheimb [Fri, 02 Feb 2001 00:31:39 +0100] rev 11029

little bugfixes; added induct_thm_tac

wenzelm [Thu, 01 Feb 2001 21:28:23 +0100] rev 11028

moved to Product_Type_lemmas.ML

oheimb [Thu, 01 Feb 2001 20:56:21 +0100] rev 11027

added translations for bind_thm and val

isabelle