src/HOLCF/IOA/ROOT.ML
author wenzelm
Thu, 22 Apr 1999 18:20:37 +0200
changeset 6488 271969bb7f95
parent 6469 bafd705ee38e
child 9000 c20d58286a51
permissions -rw-r--r--
more graceful handling of load paths;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6488
271969bb7f95 more graceful handling of load paths;
wenzelm
parents: 6469
diff changeset
     1
(*  Title:      HOL/IOA/ROOT.ML
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     2
    ID:         $Id$
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     3
    Author:     Olaf Mueller
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     4
    Copyright   1997  TU Muenchen
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     5
6217
9dac1ee185e3 tidied load path handling;
wenzelm
parents: 4816
diff changeset
     6
This is the ROOT file for the formalization of a semantic model of
9dac1ee185e3 tidied load path handling;
wenzelm
parents: 4816
diff changeset
     7
I/O-Automata.  See the README.html file for details.
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     8
*)
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
     9
6217
9dac1ee185e3 tidied load path handling;
wenzelm
parents: 4816
diff changeset
    10
goals_limit := 1;
3071
981258186b71 New meta theory for IOA based on HOLCF.
mueller
parents:
diff changeset
    11
6488
271969bb7f95 more graceful handling of load paths;
wenzelm
parents: 6469
diff changeset
    12
use_thy "meta_theory/Abstraction";
271969bb7f95 more graceful handling of load paths;
wenzelm
parents: 6469
diff changeset
    13
use "meta_theory/ioa_package.ML";
271969bb7f95 more graceful handling of load paths;
wenzelm
parents: 6469
diff changeset
    14
use "meta_theory/ioa_syn.ML";