src/HOLCF/IOA/ROOT.ML
author mueller
Wed Apr 30 11:20:15 1997 +0200 (1997-04-30)
changeset 3071 981258186b71
child 4563 6b9a8e956af9
permissions -rw-r--r--
New meta theory for IOA based on HOLCF.
mueller@3071
     1
(*  Title:      HOL/IOA/meta_theory/ROOT.ML
mueller@3071
     2
    ID:         $Id$
mueller@3071
     3
    Author:     Olaf Mueller
mueller@3071
     4
    Copyright   1997  TU Muenchen
mueller@3071
     5
mueller@3071
     6
This is the ROOT file for the formalization of a semantic model of I/O-Automata.
mueller@3071
     7
mueller@3071
     8
See the README.html file for details.
mueller@3071
     9
mueller@3071
    10
Should be executed in the subdirectory HOLCF/IOA/meta_theory.
mueller@3071
    11
*)
mueller@3071
    12
mueller@3071
    13
mueller@3071
    14
goals_limit:=1;
mueller@3071
    15
mueller@3071
    16
loadpath := ["meta_theory"];
mueller@3071
    17
mueller@3071
    18
use_thy"IOA";