isabelle: src/HOL/AxClasses/README@f7a573c46611 (annotated)

1256 1f3687711037 fixed $Id$ wenzelm parents: 1247 diff changeset	1	$Id$
1247 18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	2
1441 7fbe815c18ad added Lattice demo; wenzelm parents: 1265 diff changeset	3	This directory contains the following axiomatic type class examples:
1247 18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	4
18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	5	Tutorial/ Some simple axclass demos that go along with the paper
18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	6	"Using Axiomatic Type Classes in Isabelle --- a
18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	7	tutorial".
18b1441fb603 Various axiomatic type class demos; wenzelm parents: diff changeset	8
1441 7fbe815c18ad added Lattice demo; wenzelm parents: 1265 diff changeset	9	Group/ Some bits of group theory.
7fbe815c18ad added Lattice demo; wenzelm parents: 1265 diff changeset	10
7fbe815c18ad added Lattice demo; wenzelm parents: 1265 diff changeset	11	Lattice/ Basic theory of lattices and orders.