This is an old revision of the document!
deleteGroup(ident uid, ident id, ident groupId) { assume exists //accounts/account[uid]/assistant[id]; assume exists //exercises/exercise[id]/groups/group[groupId]; assume size(//exercises/exercise[id]/groups/group[groupId]/tutor) = 0; assume count(groupId, //exercises/exercise[id]/students/student/group)) = 0; remove //exercises/exercise[id]/groups/group[groupId]; }