src/HOL/IMPP/ROOT.ML

Commands prf and full_prf can now also be used to display proof term
of current proof state.

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

time_use_thy "EvenOdd";