isabelle: Changelog

wenzelm [Mon, 24 Jul 2000 23:58:49 +0200] rev 9427

avoid referencing thy value; lemma_prat_add_mult_mono moved to PRat.ML;

wenzelm [Mon, 24 Jul 2000 23:58:19 +0200] rev 9426

avoid referencing thy value; lemma_prat_add_mult_mono moved here;

wenzelm [Mon, 24 Jul 2000 23:57:02 +0200] rev 9425

avoid referencing thy value; rename_numerals: use implicit theory context; avoid some simpset_of Int.thy (why needed anyway?);

wenzelm [Mon, 24 Jul 2000 23:53:51 +0200] rev 9424

simpset_of NatDef.thy (why anyway?);

wenzelm [Mon, 24 Jul 2000 23:52:55 +0200] rev 9423

avoid referencing thy value; rename_numerals: use implicit theory context;

wenzelm [Mon, 24 Jul 2000 23:51:46 +0200] rev 9422

avoid referencing thy value;

wenzelm [Mon, 24 Jul 2000 23:51:11 +0200] rev 9421

tuned comment;

isabelle