# HG changeset patch # User clasohm # Date 812808717 -3600 # Node ID 6ef9a9893fd6270b7d443bb678b22b08666382e7 # Parent 3eb91524b9382aca0dda5c2378edf61d43c3bfda corrected $Id$ diff -r 3eb91524b938 -r 6ef9a9893fd6 src/HOL/AxClasses/README --- a/src/HOL/AxClasses/README Wed Oct 04 13:10:03 1995 +0100 +++ b/src/HOL/AxClasses/README Wed Oct 04 13:11:57 1995 +0100 @@ -1,4 +1,3 @@ - $Id$ This directory contains some axiomatic type class demos.