src/HOLCF/IOA/ROOT.ML
author wenzelm
Tue May 30 16:08:38 2000 +0200 (2000-05-30)
changeset 9000 c20d58286a51
parent 6488 271969bb7f95
child 12218 6597093b77e7
permissions -rw-r--r--
cleaned up;
wenzelm@6488
     1
(*  Title:      HOL/IOA/ROOT.ML
mueller@3071
     2
    ID:         $Id$
mueller@3071
     3
    Author:     Olaf Mueller
mueller@3071
     4
    Copyright   1997  TU Muenchen
mueller@3071
     5
wenzelm@6217
     6
This is the ROOT file for the formalization of a semantic model of
wenzelm@6217
     7
I/O-Automata.  See the README.html file for details.
mueller@3071
     8
*)
mueller@3071
     9
wenzelm@6217
    10
goals_limit := 1;
mueller@3071
    11
wenzelm@9000
    12
time_use_thy "meta_theory/Abstraction";
wenzelm@9000
    13
time_use "meta_theory/ioa_package.ML";
wenzelm@9000
    14
time_use "meta_theory/ioa_syn.ML";