src/HOL/UNITY/ROOT.ML
author haftmann
Mon, 21 Sep 2009 12:22:53 +0200
changeset 32624 3dec57ec3473
parent 28866 30cd9d89a0fb
child 33615 261abc2e3155
permissions -rw-r--r--
entry point theory for examples; reactivated half-dead example

(*  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";