This is an old revision of the document!
deleteExam(ident id) { assume exists //exams/exam[id]; assume size(//acounts/account/examiner[id]) = 0; remove //exams/exam[id]; } # roles: admin