isabelle: src/HOLCF/IOA/Modelcheck/ROOT.ML@c0c4af41fa3b (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$
12218 6597093b77e7 GPLed; wenzelm parents: 9000 diff changeset	3	Author: Olaf M�ller and Tobias Hamberger, TU Muenchen
6597093b77e7 GPLed; wenzelm parents: 9000 diff changeset	4	License: GPL (GNU GENERAL PUBLIC LICENSE)
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	5
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	6	Modelchecker setup for I/O automata.
6471 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
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	9	goals_limit := 1;
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	10
6488 271969bb7f95 more graceful handling of load paths; wenzelm parents: 6471 diff changeset	11	use "../../../HOL/Modelcheck/mucke_oracle.ML";
9000 c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	12	with_path "../../../HOL/Modelcheck" time_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)
9000 c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	15	if_mucke_enabled time_use_thy "Cockpit";
c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	16	if_mucke_enabled time_use_thy "Ring3";

author	paulson
	Fri, 20 Jun 2003 12:10:45 +0200
changeset 14060	c0c4af41fa3b
parent 12218	6597093b77e7
child 14981	e73f8140af78
permissions	-rw-r--r--