isabelle: src/HOLCF/IOA/ROOT.ML@ccd9cb15c062 (annotated)

6488 271969bb7f95 more graceful handling of load paths; wenzelm parents: 6469 diff changeset	1	(* Title: HOL/IOA/ROOT.ML
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	2	ID: $Id$
19360 f47412f922ab converted Müller to Mueller to make smlnj 110.58 work kleing parents: 17925 diff changeset	3	Author: Olaf Mueller
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	4
23560 e43686246de4 proper use of ioa_package.ML; wenzelm parents: 19360 diff changeset	5	Formalization of a semantic model of I/O-Automata. See README.html
e43686246de4 proper use of ioa_package.ML; wenzelm parents: 19360 diff changeset	6	for details.
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	7	*)
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	8
9000 c20d58286a51 cleaned up; wenzelm parents: 6488 diff changeset	9	time_use_thy "meta_theory/Abstraction";