src/HOL/AxClasses/README
changeset 1441 7fbe815c18ad
parent 1265 6ef9a9893fd6
equal deleted inserted replaced
1440:de6f18da81bb 1441:7fbe815c18ad
     1 $Id$
     1 $Id$
     2 
     2 
     3 This directory contains some axiomatic type class demos.
     3 This directory contains the following axiomatic type class examples:
     4 
       
     5 
     4 
     6   Tutorial/     Some simple axclass demos that go along with the paper
     5   Tutorial/     Some simple axclass demos that go along with the paper
     7                 "Using Axiomatic Type Classes in Isabelle --- a
     6                 "Using Axiomatic Type Classes in Isabelle --- a
     8                 tutorial".
     7                 tutorial".
     9 
     8 
    10   Group/        Basic group theory with axiomatic type classes.
     9   Group/        Some bits of group theory.
       
    10 
       
    11   Lattice/      Basic theory of lattices and orders.