more robust treatment of Interrupt; added release_all, release_first; proper signature;
more robust treatment of Interrupt;
added release_all, release_first;
proper signature;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle