isabelle: src/HOLCF/IOA/Modelcheck/ROOT.ML@6b3e345c47b3 (annotated)

6488 271969bb7f95 more graceful handling of load paths; wenzelm parents: 6471 diff changeset	1	(* Title: HOLCF/IOA/Modelcheck/ROOT.ML
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	2	ID: $Id$
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	3	Author: Olaf Mueller and Tobias Hamberger, TU Muenchen
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	4
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	5	Modelchecker setup for I/O automata.
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	6	*)
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	7
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	8	goals_limit := 1;
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	9
6488 271969bb7f95 more graceful handling of load paths; wenzelm parents: 6471 diff changeset	10	use "../../../HOL/Modelcheck/mucke_oracle.ML";
271969bb7f95 more graceful handling of load paths; wenzelm parents: 6471 diff changeset	11	use_thy "../../../HOL/Modelcheck/MuckeSyn";
271969bb7f95 more graceful handling of load paths; wenzelm parents: 6471 diff changeset	12	use_thy "MuIOAOracle";
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	13
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	14	(examples)
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	15	if_mucke_enabled use_thy "Cockpit";
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	16	if_mucke_enabled use_thy "Ring3";

author	paulson
	Thu, 28 Oct 1999 16:07:12 +0200
changeset 7964	6b3e345c47b3
parent 7299	743b22579a2f
child 9000	c20d58286a51
permissions	-rw-r--r--