example.thy « isa - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/isa/example.thy

blob: 4e0ac96334a63c27fa25db437e15456bd9343cd4 (plain)

(*
    Example theory file for Isabelle  

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

    $Id$

*)    

example = HOL