ex--Miscellaneous Examples

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


Last modified on $Date$

lcp@cl.cam.ac.uk