author | berghofe |
Tue, 30 Jun 1998 20:51:15 +0200 | |
changeset 5102 | 8c782c25a11e |
parent 3513 | 4d4f8c18255e |
permissions | -rw-r--r-- |
(* Title: HOL/Auth/DB-ROOT ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge Root file for creating a **separate database** for protocol proofs. ** Use ROOT.ML to simply run the proofs. ** *) HOL_build_completed; (*Make examples fail if HOL did*) val banner = "Security Protocols"; writeln banner; use_thy "Event";