isabelle: Changelog

wenzelm [Tue, 11 Mar 1997 13:05:40 +0100] rev 2781

added THIS_IS_ISABELLE_BUILD;

wenzelm [Tue, 11 Mar 1997 13:05:11 +0100] rev 2780

added THIS_IS_ISABELLE_BUILD discrimination;

paulson [Mon, 10 Mar 1997 10:32:32 +0100] rev 2779

The contr_tac, which replaces a fast_tac, is needed only because eq_assume_tac does not recognize eta-equality. But making it do so is costly

wenzelm [Fri, 07 Mar 1997 16:44:28 +0100] rev 2778

renamed;

wenzelm [Fri, 07 Mar 1997 16:44:14 +0100] rev 2777

fixed;

wenzelm [Fri, 07 Mar 1997 16:40:30 +0100] rev 2776

commented out chwon, chmod;

wenzelm [Fri, 07 Mar 1997 16:16:47 +0100] rev 2775

fixed src path;

wenzelm [Fri, 07 Mar 1997 16:08:36 +0100] rev 2774

added \n at EOF;

wenzelm [Fri, 07 Mar 1997 15:51:44 +0100] rev 2773

*** empty log message ***

Fri, 07 Mar 1997 15:51:31 +0100 tuned;

wenzelm [Fri, 07 Mar 1997 15:51:31 +0100] rev 2772

tuned;

isabelle