Trac345.thy « trac « etc - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/etc/trac/Trac345.thy

blob: 045505d58c569978def427c8a4c86ecff2b829d0 (plain)

theory Trac345
imports Main 
begin 

(* "a comment" *)
-- a comment
(* "another comment that PG does not get to" *)

end