History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Auth/All_Symmetric.thy
Revision Date Author Comments
# 744b34a2 11-Jan-2016 wenzelm <none@none>

eliminated old defs;
# feca4ab8 10-Dec-2015 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 0ddc87cf 21-Sep-2009 haftmann <none@none>

common base for protocols with symmetric keys

--HG--
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/All_Symmetric.thy