Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <16816-0@swan.cl.cam.ac.uk>; Wed, 8 Jul 1992 11:40:51 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05142;
          Wed, 8 Jul 92 03:27:59 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from tuminfo2.informatik.tu-muenchen.de 
          by ted.cs.uidaho.edu (16.6/1.34) id AA05137;
          Wed, 8 Jul 92 03:26:47 -0700
Received: from sunbroy14.informatik.tu-muenchen.de ([131.159.0.114]) 
          by tuminfo2.informatik.tu-muenchen.de with SMTP id <57836>;
          Wed, 8 Jul 92 12:26:58 +0200
Received: by sunbroy14.informatik.tu-muenchen.de id <8082>;
          Wed, 8 Jul 92 12:28:48 +0200
From: Tobias.Nipkow@De.TU-Muenchen.Informatik
To: info-hol@edu.uidaho.cs.ted
In-Reply-To: Konrad Slind's message of Wed, 8 Jul 92 10:52:40 +0200 <9207080852.AA01690@fsa.cpsc.ucalgary.ca>
Subject: Overloading
Message-Id: <92Jul8.122848met_dst.8082@sunbroy14.informatik.tu-muenchen.de>
Date: Wed, 8 Jul 92 12:28:47 +0200

Konrad writes:

> Tobias Nipkow pointed out a more general solution that I think has been
> implemented in Isabelle.

It's essentially type classes as in Haskell, in case somebody was wondering.

Tobias