(*
    Example theory file for Isabelle

    David Aspinall <da@dcs.ed.ac.uk>

    $Id$

*)

Example = Main