author | paulson |
Wed, 19 Jul 2006 11:55:26 +0200 | |
changeset 20153 | 6ff5d35749b0 |
parent 17244 | 0b2ff9541727 |
child 22819 | a7b425bb668c |
permissions | -rw-r--r-- |
(* $Id$ *) theory MuIOA imports IOA MuckeSyn begin consts Internal_of_A :: "'a => bool" Internal_of_C :: "'a => bool" Start_of_A :: "'a => bool" Start_of_C :: "'a => bool" Trans_of_A :: "'a => 'b => bool" Trans_of_C :: "'a => 'b => bool" IntStep_of_A :: "'a => bool" IntStepStar_of_A :: "'a => bool" Move_of_A :: "'a => 'b => bool" isSimCA :: "'a => bool" end