merged, and renamed local "TheoryData" to "Data" (following common Isabelle conventions)
(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory
Copyright 1998 University of Cambridge
*)
(*Verifying security protocols using UNITY*)
no_document use_thy "../Auth/Public";
(*Basic meta-theory*)
use_thy "UNITY_Main";
(*Examples*)
use_thy "UNITY_Examples";