Replaced "raise RecError" by "primrec_err" in function
gen_primrec_i to prevent error message from being suppressed.
(* 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";