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

about summary refs log tree commit diff homepage

path: root/etc/trac/trac-345.thy

blob: 5b118d978f15356b540e726b1c899cc59c2834fe (plain)

theory Scratch
imports Main 
begin 

-- "a comment"
;
-- "another comment that PG does not get to"

end