isabelle: Changelog

wenzelm [Thu, 27 Jul 2000 18:25:01 +0200] rev 9451

begin_theory: store *copy* of initial theory;

wenzelm [Thu, 27 Jul 2000 18:23:12 +0200] rev 9450

tuned;

wenzelm [Thu, 27 Jul 2000 11:44:29 +0200] rev 9449

intro_elim_tac: bimatch_from;

nipkow [Wed, 26 Jul 2000 19:43:28 +0200] rev 9448

While functional for defining tail-recursive functions

nipkow [Wed, 26 Jul 2000 19:42:19 +0200] rev 9447

*** empty log message ***

Tue, 25 Jul 2000 23:33:13 +0200 tuned msg;

wenzelm [Tue, 25 Jul 2000 23:33:13 +0200] rev 9446

tuned msg;

berghofe [Tue, 25 Jul 2000 18:43:52 +0200] rev 9445

Corrected example which still used old primrec syntax.

nipkow [Tue, 25 Jul 2000 17:47:55 +0200] rev 9444

Replaced force by fast because force may now take forever to fail (due to a recend change of David's)

isabelle