(* Title: HOL/IOA/ex/ROOT.ML ID: $Id$ Author: Olaf Müller License: GPL (GNU GENERAL PUBLIC LICENSE)This is the ROOT file for the formalization of a semantic model ofI/O-Automata. See the README.html file for details.*)goals_limit := 1;time_use_thy "TrivEx";time_use_thy "TrivEx2";