cleaned up; renamed library function mk_cRep_CFun to list_ccomb; replaced rep_TFree with dest_TFree; added functions spair, mk_stuple
(* Title: HOL/IOA/ROOT.ML
ID: $Id$
Author: Olaf Müller
This is the ROOT file for the formalization of a semantic model of
I/O-Automata. See the README.html file for details.
*)
goals_limit := 1;
time_use_thy "meta_theory/Abstraction";
time_use "meta_theory/ioa_package.ML";