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

theory B = Pure:;

end;