added the function for free variables of a lambda-term, which is a
tad more difficult to define than capture-avoiding substitution
(* Title: HOL/IOA/ROOT.ML
ID: $Id$
Author: Olaf Mueller
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";