path: root/etc/isar/bad1.thy

(*foo*)
foo
end