History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Auth/README.html
Revision Date Author Comments
# 8c54312f 12-Mar-2013 wenzelm <none@none>

removed odd cvs artifacts;
# 52ec01fe 07-Mar-2005 webertj <none@none>

HTML 4.01 Transitional conformity
# 24d3fbdd 13-Nov-2004 webertj <none@none>

DOCTYPE declaration added
# 1f591b10 15-Jun-2004 paulson <none@none>

fixed bad link
# 69c6b5d1 11-May-2003 paulson <none@none>

updated text
# 4d97d0af 21-Aug-2002 paulson <none@none>

Frederic Blanqui's new "guard" examples
# ca738d3d 20-Apr-1999 paulson <none@none>

addition of Kerberos IV example
# 93924fce 18-Mar-1999 paulson <none@none>

added new theory Yahalom_Bad
# 4558e7d8 01-Feb-1998 paulson <none@none>

fixed WWW links
# 52d9727b 06-May-1997 paulson <none@none>

Description of the Auth directory: security protocols proofs