src/HOL/AxClasses/README
1996-01-15 wenzelm 1996-01-15 added Lattice demo;
1995-10-04 clasohm 1995-10-04 corrected $Id$
1995-09-13 wenzelm 1995-09-13 fixed $Id$
1995-09-01 wenzelm 1995-09-01 Various axiomatic type class demos;