src/HOL/Nominal/Examples/ROOT.ML
author wenzelm
Thu, 31 May 2007 11:00:06 +0200
changeset 23145 5d8faadf3ecf
parent 23144 4a9c9e260abf
child 23158 749b6870b1a1
permissions -rw-r--r--
fixed use_thy "LocalWeakening";

(*  Title:      HOL/Nominal/Examples/ROOT.ML
    ID:         $Id$
    Author:     Christian Urban, TU Muenchen

Various examples involving nominal datatypes.
*)

use_thy "CR";
use_thy "CR_Takahashi";
(*use_thy "Class";*)
use_thy "Compile";
use_thy "Fsub";
use_thy "Height";
use_thy "Lambda_mu";
use_thy "SN";
use_thy "Weakening";
use_thy "Crary";
use_thy "SOS";
use_thy "LocalWeakening";