src/HOL/Auth/All_Symmetric.thy
2009-09-21 haftmann 2009-09-21 common base for protocols with symmetric keys