trac109.v « trac « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/trac/trac109.v

blob: cbf5edbe267768546b0dd44407f988c9300b77e7 (plain)

1
2
3

(* http://proofgeneral.inf.ed.ac.uk/trac/ticket/109 *)
Goal True.
idtac "Hello!".