path: root/etc/isar/multiple/A.thy

theory A imports Pure 
begin

consts foo :: 'a
consts bar :: 'a

end