isabelle: Changelog

paulson [Tue, 18 Apr 2000 15:53:50 +0200] rev 8737

instantiates new simprocs for numerals of type "nat"

paulson [Tue, 18 Apr 2000 15:51:59 +0200] rev 8736

new simprocs for numerals of type "nat"

wenzelm [Tue, 18 Apr 2000 14:57:18 +0200] rev 8735

emilimated global names;

wenzelm [Tue, 18 Apr 2000 14:54:08 +0200] rev 8734

removed obsolete "simpset" keyword;

wenzelm [Tue, 18 Apr 2000 00:49:49 +0200] rev 8733

renamed 'hide' to 'hide_action';

wenzelm [Tue, 18 Apr 2000 00:36:02 +0200] rev 8732

fixed theory deps;

wenzelm [Mon, 17 Apr 2000 14:27:10 +0200] rev 8731

made SML/NJ happy;

wenzelm [Mon, 17 Apr 2000 14:20:41 +0200] rev 8730

made SML/NJ happy;

wenzelm [Mon, 17 Apr 2000 14:12:33 +0200] rev 8729

* improved name spaces: ambiguous output is qualified; support for hiding of names;

wenzelm [Mon, 17 Apr 2000 14:10:38 +0200] rev 8728

improved output of ambiguous entries; support hiding;

isabelle