author | wenzelm |
Sat, 03 Sep 2005 16:50:22 +0200 | |
changeset 17244 | 0b2ff9541727 |
parent 7299 | 743b22579a2f |
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