isabelle: Changelog

wenzelm [Fri, 05 Dec 1997 18:45:19 +0100] rev 4375

changed typed_print_translation;

wenzelm [Fri, 05 Dec 1997 18:44:56 +0100] rev 4374

tuned;

wenzelm [Fri, 05 Dec 1997 17:31:01 +0100] rev 4373

nat_cancel enabled by default;

wenzelm [Fri, 05 Dec 1997 17:20:25 +0100] rev 4372

adapted proofs to cope with simprocs nat_cancel;

wenzelm [Fri, 05 Dec 1997 17:19:38 +0100] rev 4371

improved arbitrary_def: we now really don't know nothing about it!

wenzelm [Fri, 05 Dec 1997 17:16:22 +0100] rev 4370

use_thy no longer requires writable current directory;

wenzelm [Fri, 05 Dec 1997 17:14:36 +0100] rev 4369

adapted proofs to cope with simprocs nat_cancel (by Stefan Berghofer);

wenzelm [Fri, 05 Dec 1997 17:13:46 +0100] rev 4368

simplification procedures nat_cancel enabled by default;

wenzelm [Fri, 05 Dec 1997 08:01:03 +0100] rev 4367

tmp_name;

wenzelm [Thu, 04 Dec 1997 14:11:37 +0100] rev 4366

added print_simpset;

isabelle