src/HOL/SET_Protocol/SET_Protocol.thy
2010-09-28 haftmann 2010-09-28 modernized session