author | paulson |
Tue, 10 Sep 1996 11:35:23 +0200 | |
changeset 1971 | 30fe5ac5c04e |
parent 1944 | ea0f573b222b |
child 1995 | c80e58e78d9c |
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";