src/HOL/AxClasses/README
author wenzelm
Wed, 13 Sep 1995 11:21:58 +0200
changeset 1256 1f3687711037
parent 1247 18b1441fb603
child 1265 6ef9a9893fd6
permissions -rw-r--r--
fixed $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.