isabelle: src/HOLCF/IOA/Modelcheck/ROOT.ML@ccd9cb15c062 (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$
19360 f47412f922ab converted Müller to Mueller to make smlnj 110.58 work kleing parents: 14981 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
9000 c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	8	with_path "../../../HOL/Modelcheck" time_use_thy "MuIOAOracle";
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	9
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6488 diff changeset	10	(examples)
9000 c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	11	if_mucke_enabled time_use_thy "Cockpit";
c20d58286a51 cleaned up; wenzelm parents: 7299 diff changeset	12	if_mucke_enabled time_use_thy "Ring3";

author	wenzelm
	Tue, 10 Jul 2007 23:29:43 +0200
changeset 23719	ccd9cb15c062
parent 19764	372065f34795
child 28263	69eaa97e7e96
permissions	-rw-r--r--