src/HOL/Induct/Acc.thy
2000-09-07 wenzelm 2000-09-07 updated attribute names;
2000-09-02 wenzelm 2000-09-02 converted;
2000-08-14 wenzelm 2000-08-14 intros;
2000-06-21 wenzelm 2000-06-21 fixed deps;
1999-10-14 wenzelm 1999-10-14 fixed comment;
1999-10-08 wenzelm 1999-10-08 improved presentation;
1999-10-06 wenzelm 1999-10-06 tuned presentation;
1999-10-05 berghofe 1999-10-05 Tuned inductive definition.
1998-10-21 berghofe 1998-10-21 Changed syntax of inductive.
1998-08-06 nipkow 1998-08-06 Added macro `termi'
1998-06-30 berghofe 1998-06-30 Adapted to new inductive definition package.
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions