path: root/isa/Example.thy

(*
    Example theory file for Isabelle

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

    $Id$

*)

Example = Main