src/HOL/Auth/All_Symmetric.thy
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2015-12-10 wenzelm 2015-12-10 isabelle update_cartouches -c -t;
2009-09-21 haftmann 2009-09-21 common base for protocols with symmetric keys