example.thy « isa - proof-general - Emacs plugins for proof management systems

about summary refs log tree commit diff

path: root/isa/example.thy

blob: 37c215785e696c2521cccb2ae2e1d19a551429c4 (plain)

(*
    Example theory file for Isabelle  

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

    $Id$

*)    

example = Main