changeset 6216 | 05d99c0bbfa0 |
parent 6012 | 1894bfc4aee9 |
child 6295 | 351b3c2b0d83 |
--- a/src/HOL/UNITY/NSP_Bad.thy Wed Feb 03 17:33:41 1999 +0100 +++ b/src/HOL/UNITY/NSP_Bad.thy Wed Feb 03 17:34:27 1999 +0100 @@ -3,7 +3,7 @@ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge -loadpath := "../Auth" :: !loadpath; use_thy"NSP_Bad"; +add_path "../Auth"; use_thy"NSP_Bad"; Security protocols in UNITY: Needham-Schroeder, public keys (flawed version).