path: root/isa/Example.thy

(*
    Example theory file for Isabelle  

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

    $Id$

*)    

Example = Main