author | paulson |
Fri, 13 Sep 1996 13:16:57 +0200 | |
changeset 1995 | c80e58e78d9c |
parent 1971 | 30fe5ac5c04e |
child 2091 | 644104f85d14 |
permissions | -rw-r--r-- |
(* Title: HOL/Auth/ROOT ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge Root file for protocol proofs. *) HOL_build_completed; (*Make examples fail if HOL did*) writeln"Root file for HOL/Auth"; proof_timing := true; use_thy "Shared"; use_thy "NS_Shared"; use_thy "OtwayRees"; use_thy "Yahalom";