wneuper/isa: Changelog

wenzelm [Fri, 28 Sep 2001 20:08:05 +0200] rev 11635

tuned;

wenzelm [Fri, 28 Sep 2001 19:24:25 +0200] rev 11634

recdef (permissive);
inductive: no collective atts;

wenzelm [Fri, 28 Sep 2001 19:23:58 +0200] rev 11633

*** empty log message ***

Fri, 28 Sep 2001 19:23:35 +0200prove: ``strict'' argument;

wenzelm [Fri, 28 Sep 2001 19:23:35 +0200] rev 11632

prove: ``strict'' argument;

wenzelm [Fri, 28 Sep 2001 19:23:07 +0200] rev 11631

internal thm numbering with ":" instead of "_";

wenzelm [Fri, 28 Sep 2001 19:22:40 +0200] rev 11630

avoid handle _;

wenzelm [Fri, 28 Sep 2001 19:21:26 +0200] rev 11629

permissive option;

wenzelm [Fri, 28 Sep 2001 19:19:26 +0200] rev 11628

inductive: no collective atts;

wenzelm [Fri, 28 Sep 2001 19:18:46 +0200] rev 11627

updated;

wenzelm [Fri, 28 Sep 2001 19:17:01 +0200] rev 11626

recdef (permissive);

wneuper/isa