src/HOL/Induct/LList.thy
2002-08-27 wenzelm 2002-08-27 *** empty log message ***
2002-05-07 wenzelm 2002-05-07 tuned presentation;
2002-04-02 paulson 2002-04-02 conversion of some HOL/Induct proof scripts to Isar
2001-01-09 nipkow 2001-01-09 *** empty log message ***
1999-03-17 wenzelm 1999-03-17 fixed typedef representing set;
1998-11-26 paulson 1998-11-26 tidied up list definitions, using type 'a option instead of unit + 'a, also using real typedefs instead of faking them with extra rules
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions