src/HOL/AxClasses/README
changeset 1256 1f3687711037
parent 1247 18b1441fb603
child 1265 6ef9a9893fd6
equal deleted inserted replaced
1255:0e76adc74e7f 1256:1f3687711037
     1 
     1 
     2 $id$
     2 $Id$
     3 
     3 
     4 This directory contains some axiomatic type class demos.
     4 This directory contains some axiomatic type class demos.
     5 
     5 
     6 
     6 
     7   Tutorial/     Some simple axclass demos that go along with the paper
     7   Tutorial/     Some simple axclass demos that go along with the paper