isabelle: Changelog

wenzelm [Tue, 25 Jul 2000 00:00:22 +0200] rev 9432

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

wenzelm [Tue, 25 Jul 2000 00:00:03 +0200] rev 9431

tuned deps;

wenzelm [Mon, 24 Jul 2000 23:59:46 +0200] rev 9430

tuned;

wenzelm [Mon, 24 Jul 2000 23:59:32 +0200] rev 9429

changed deps;

wenzelm [Mon, 24 Jul 2000 23:59:08 +0200] rev 9428

rename_numerals: use implicit theory context;

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?);

isabelle