[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: well foundedness properties

To: pvs@csl.sri.com
Subject: Re: well foundedness properties
From: Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
Date: Wed, 01 Mar 2000 09:24:33 +0000
cc: pvs@csl.sri.com
Delivery-Date: Wed Mar 1 01:24:49 2000
In-reply-to: Your message of Tue, 29 Feb 2000 13:27:38 +0100. <38BBBB3A.3C9D@LaBRI.U-Bordeaux.Fr>
Organization: Computer Laboratory, University of Cambridge, England

See theories WF and WF_Rel of Isabelle/HOL.  They are accessible via the 
theory library page, http://isabelle.in.tum.de/library-Isabelle99/HOL/index.htm
l

You could probably port them with a bit of effort.
-- 
Larry Paulson

References:
- well foundedness properties
  - From: Paul Y Gloess <Paul.Gloess@labri.u-bordeaux.fr>

Prev by Date: well foundedness properties
Next by Date: Strange problems
Prev by thread: well foundedness properties
Next by thread: Strange problems
Index(es):
- Date
- Thread