isabelle: src/HOL/HOLCF/IOA/ROOT.ML@0437dbc127b3 (annotated)

24584 01e83ffa6c54 fixed title haftmann parents: 23560 diff changeset	1	(* Title: HOLCF/IOA/ROOT.ML
19360 f47412f922ab converted Müller to Mueller to make smlnj 110.58 work kleing parents: 17925 diff changeset	2	Author: Olaf Mueller
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	3
23560 e43686246de4 proper use of ioa_package.ML; wenzelm parents: 19360 diff changeset	4	Formalization of a semantic model of I/O-Automata. See README.html
e43686246de4 proper use of ioa_package.ML; wenzelm parents: 19360 diff changeset	5	for details.
3071 981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	6	*)
981258186b71 New meta theory for IOA based on HOLCF. mueller parents: diff changeset	7
33615 261abc2e3155 uniform use of simultabeous use_thys; wenzelm parents: 24584 diff changeset	8	use_thys ["meta_theory/Abstraction"];