isabelle: Changelog

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)

nipkow [Tue, 25 Jul 2000 09:48:39 +0200] rev 9443

new constant same_fst

wenzelm [Tue, 25 Jul 2000 01:27:36 +0200] rev 9442

by (CLASIMPSET auto_tac);

wenzelm [Tue, 25 Jul 2000 00:13:49 +0200] rev 9441

added clarify method; removed unofficial improper methods;

isabelle