haftmann@32624: (* Author: Lawrence C Paulson, Cambridge University Computer Laboratory paulson@4776: Copyright 1998 University of Cambridge paulson@4776: *) paulson@4776: wenzelm@24147: (*Verifying security protocols using UNITY*) wenzelm@33615: no_document use_thys ["../Auth/Public"]; paulson@11193: wenzelm@33615: use_thys [ wenzelm@33615: "UNITY_Main", (*Basic meta-theory*) wenzelm@33615: "UNITY_Examples" (*Examples*) wenzelm@33615: ]; paulson@9112: