src/HOL/AxClasses/README
author clasohm
Wed, 04 Oct 1995 13:11:57 +0100
changeset 1265 6ef9a9893fd6
parent 1256 1f3687711037
child 1441 7fbe815c18ad
permissions -rw-r--r--
corrected $Id$

$Id$

This directory contains some axiomatic type class demos.


  Tutorial/     Some simple axclass demos that go along with the paper
                "Using Axiomatic Type Classes in Isabelle --- a
                tutorial".

  Group/        Basic group theory with axiomatic type classes.