(*
    Example theory file for Isabelle  

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

    $Id$

*)    

example = HOL