src/HOL/IMPP/ROOT.ML

tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);

(*  Title:      HOL/IMPP/ROOT.ML
    ID:         $Id$
    Author:     David von Oheimb
    Copyright   1999 TUM
*)

time_use_thy "EvenOdd";