isabelle: Changelog

nipkow [Tue, 06 May 1997 13:33:33 +0200] rev 3111

Stupid bug in induct_tac caused warning to always appear.

wenzelm [Tue, 06 May 1997 12:55:07 +0200] rev 3110

removed MLtrans, MLtext;

wenzelm [Tue, 06 May 1997 12:51:23 +0200] rev 3109

added \Pure, \CPure;

wenzelm [Tue, 06 May 1997 12:50:16 +0200] rev 3108

misc updates, tuning, cleanup;

wenzelm [Mon, 05 May 1997 21:18:01 +0200] rev 3107

tuned;

wenzelm [Mon, 05 May 1997 18:50:26 +0200] rev 3106

tuned;

nipkow [Mon, 05 May 1997 18:09:31 +0200] rev 3105

Cosmetic update of induct_tac; test first now.

wenzelm [Mon, 05 May 1997 13:24:38 +0200] rev 3104

SYNC;

wenzelm [Mon, 05 May 1997 13:24:11 +0200] rev 3103

misc updates, tuning, cleanup;

paulson [Mon, 05 May 1997 12:15:53 +0200] rev 3102

Some blast_tac calls; more needed

isabelle