src/HOL/AxClasses/README
changeset 1265 6ef9a9893fd6
parent 1256 1f3687711037
child 1441 7fbe815c18ad
equal deleted inserted replaced
1264:3eb91524b938 1265:6ef9a9893fd6
     1 
       
     2 $Id$
     1 $Id$
     3 
     2 
     4 This directory contains some axiomatic type class demos.
     3 This directory contains some axiomatic type class demos.
     5 
     4 
     6 
     5