ex--Miscellaneous Examples

This directory presents a number of small examples, illustrating various features of Isabelle/HOL.


Last modified on $Date: 1999/08/02 09:31:04 $

lcp@cl.cam.ac.uk