isabelle: Changelog

paulson [Tue, 18 Apr 2000 15:56:41 +0200] rev 8740

replaced obsolete diff_right_cancel by diff_diff_eq

paulson [Tue, 18 Apr 2000 15:54:56 +0200] rev 8739

added number_of_const: term

paulson [Tue, 18 Apr 2000 15:54:31 +0200] rev 8738

tidied

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;

isabelle