Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 21 Apr 1994 09:12:21 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA29641;
          Thu, 21 Apr 1994 02:02:08 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA29637;
          Thu, 21 Apr 1994 02:01:59 -0600
Received: from tuminfo2.informatik.tu-muenchen.de by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA23174;
          Thu, 21 Apr 1994 01:01:48 -0700
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <326453>;
          Thu, 21 Apr 1994 10:01:13 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8109>;
          Thu, 21 Apr 1994 10:00:58 +0200
From: Tobias.Nipkow@informatik.tu-muenchen.de
To: info-hol@cs.uidaho.edu
In-Reply-To: <"i80fs2.ira.764:21.03.94.07.19.26"@ira.uka.de> (message from reetz on Thu, 21 Apr 1994 15:19:20 +0200)
Subject: Overloading
Message-Id: <94Apr21.100058met_dst.8109@sunbroy14.informatik.tu-muenchen.de>
Date: Thu, 21 Apr 1994 10:00:45 +0200

Let me just advertise that Isabelle supports Haskell-style type classes which
are an extension of ML-polymorphism with a particular kind of overloading.
It handles the examples that Ralf Reetz has put forward.

Tobias