isabelle: src/HOLCF/IOA/Modelcheck/MuIOA.thy@743b22579a2f (annotated)

7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	1
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	2	MuIOA = IOA + MuckeSyn +
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	3
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	4	consts
7299 743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	5	Internal_of_A :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	6	Internal_of_C :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	7	Start_of_A :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	8	Start_of_C :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	9	Trans_of_A :: 'a => 'b => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	10	Trans_of_C :: 'a => 'b => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	11	IntStep_of_A :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	12	IntStepStar_of_A :: 'a => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	13	Move_of_A :: 'a => 'b => bool
743b22579a2f quite a lot of tuning and cleanup; wenzelm parents: 6471 diff changeset	14	isSimCA :: 'a => bool
6471 08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	15
08d12ef5fc19 added translation from IOA to mucalculus and corresponding modelchecker examples; mueller parents: diff changeset	16	end

author	wenzelm
	Thu, 19 Aug 1999 21:49:10 +0200
changeset 7299	743b22579a2f
parent 6471	08d12ef5fc19
child 17244	0b2ff9541727
permissions	-rw-r--r--