author | wenzelm |
Thu, 22 Apr 1999 18:20:37 +0200 | |
changeset 6488 | 271969bb7f95 |
parent 6471 | 08d12ef5fc19 |
child 7299 | 743b22579a2f |
permissions | -rw-r--r-- |
(* Title: HOLCF/IOA/Modelcheck/ROOT.ML ID: $Id$ Author: Olaf Mueller Copyright 1997 TU Muenchen This is the ROOT file for the formalization of a semantic model of I/O-Automata. See the README.html file for details. *) goals_limit := 1; use "../../../HOL/Modelcheck/mucke_oracle.ML"; use_thy "../../../HOL/Modelcheck/MuckeSyn"; use_thy "MuIOAOracle"; use_thy "Cockpit"; use_thy "Ring3";