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

theory D = Pure:;

end;