isabelle: Changelog

wenzelm [Thu, 02 Jul 1998 17:27:35 +0200] rev 5113

tuned comment;

wenzelm [Thu, 02 Jul 1998 17:26:47 +0200] rev 5112

Symbol.beginning;

paulson [Thu, 02 Jul 1998 16:53:55 +0200] rev 5111

Uncurried functions LeadsTo and reach Deleted leading parameters thanks to new Goal command

wenzelm [Thu, 02 Jul 1998 16:44:39 +0200] rev 5110

fixed Integ;

berghofe [Wed, 01 Jul 1998 19:11:20 +0200] rev 5109

Adapted to new inductive definition package.

berghofe [Wed, 01 Jul 1998 19:03:54 +0200] rev 5108

Fixed bug (improper handling of flag no_ind).

berghofe [Wed, 01 Jul 1998 18:43:40 +0200] rev 5107

Replaced "use_dir" command by "use", because nested calls of "use_dir" cause the HTML generator to crash.

paulson [Wed, 01 Jul 1998 17:59:25 +0200] rev 5106

HOL-Real

wenzelm [Wed, 01 Jul 1998 11:33:39 +0200] rev 5105

tuned Inductive.thy;

wenzelm [Wed, 01 Jul 1998 11:20:32 +0200] rev 5104

added add_typedecls;

isabelle