[T1] ================================================ AMAST Links 02 03

          Axiomatic type classes in Isabelle - documentation

   *Update* of information in [AL0202T4]

  Users may be unaware of axiomatic type classes, a new feature
implemented by Markus Wenzel at Munich. Some documentation, in German,
is now available at URL: ftp://ftp.cl.cam.ac.uk/ml/axclass.dvi.gz