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$


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

  Group/        Basic group theory with axiomatic type classes.