Added variant of eres_inst_tac that operates on indexnames instead of strings.
(* Title: HOL/IMP/ROOT.ML
ID: $Id$
Author: Tobias Nipkow
Copyright 1998-2003 TUM
*)
time_use_thy "Examples";
time_use_thy "ExamplesAbort";
time_use_thy "Pointers0";
time_use_thy "Pointer_Examples";
time_use_thy "Pointer_ExamplesAbort";
time_use_thy "SchorrWaite";
time_use_thy "Separation";