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

theory A = Pure:;

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

end;