| author | wenzelm |
| Tue, 05 Mar 2002 20:54:55 +0100 | |
| changeset 13025 | 433c57d09d53 |
| parent 7299 | 743b22579a2f |
| child 17244 | 0b2ff9541727 |
| permissions | -rw-r--r-- |
MuIOA = IOA + MuckeSyn + 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