src/HOLCF/IOA/ROOT.ML
author wenzelm
Thu Apr 22 18:20:37 1999 +0200 (1999-04-22)
changeset 6488 271969bb7f95
parent 6469 bafd705ee38e
child 9000 c20d58286a51
permissions -rw-r--r--
more graceful handling of load paths;
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@6488
    12
use_thy "meta_theory/Abstraction";
wenzelm@6488
    13
use "meta_theory/ioa_package.ML";
wenzelm@6488
    14
use "meta_theory/ioa_syn.ML";