src/HOL/Auth/Guard/Yahalom.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-08-21 paulson 2002-08-21 Frederic Blanqui's new "guard" examples