isabelle: Changelog

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

wenzelm [Thu, 13 Apr 2000 15:11:41 +0200] rev 8706

tuned;

nipkow [Thu, 13 Apr 2000 15:02:57 +0200] rev 8705

*** empty log message ***

Thu, 13 Apr 2000 15:02:02 +0200 Simplifier options;

wenzelm [Thu, 13 Apr 2000 15:02:02 +0200] rev 8704

Simplifier options;

nipkow [Thu, 13 Apr 2000 15:01:50 +0200] rev 8703

Times -> <*> ** -> <*lex*>

isabelle