ex--Miscellaneous Examples

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


Last modified on $Date: 2005/03/07 18:19:12 $

lcp@cl.cam.ac.uk