isabelle: Changelog

wenzelm [Fri, 14 Apr 2000 17:30:22 +0200] rev 8716

intrn_arity: reject type abbreviations;

wenzelm [Fri, 14 Apr 2000 17:29:57 +0200] rev 8715

added is_type_abbr;

wenzelm [Fri, 14 Apr 2000 16:12:46 +0200] rev 8714

\newenvironment{isabellequote};

wenzelm [Fri, 14 Apr 2000 15:55:40 +0200] rev 8713

global \isa@parindent, \isa@parskip; \newcommand{\isa};

wenzelm [Fri, 14 Apr 2000 01:14:51 +0200] rev 8712

use HOLogic.termT;

wenzelm [Thu, 13 Apr 2000 17:49:42 +0200] rev 8711

outer syntax: no simps;

wenzelm [Thu, 13 Apr 2000 17:49:08 +0200] rev 8710

recdef: no simps;

paulson [Thu, 13 Apr 2000 15:19:37 +0200] rev 8709

stopped using the obsolete "nat_ind_tac"

paulson [Thu, 13 Apr 2000 15:18:02 +0200] rev 8708

added some new iff-lemmas; removed some obsolete thms

paulson [Thu, 13 Apr 2000 15:16:32 +0200] rev 8707

tidied

isabelle