author | paulson |
Fri, 18 Oct 1996 11:42:41 +0200 | |
changeset 2110 | d01151e66cd4 |
parent 2091 | 644104f85d14 |
child 2123 | 959f791b6f0f |
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 "OtwayRees_AN"; use_thy "Yahalom";