| changeset 6468 | a7b1669f5365 |
| parent 3522 | a34c20f4bf44 |
| child 12218 | 6597093b77e7 |
--- a/src/HOLCF/IOA/ABP/Env.thy Thu Apr 22 11:00:30 1999 +0200 +++ b/src/HOLCF/IOA/ABP/Env.thy Thu Apr 22 11:02:46 1999 +0200 @@ -15,7 +15,7 @@ consts -env_asig :: 'm action signature +env_asig :: "'m action signature" env_trans :: ('m action, 'm env_state)transition set env_ioa :: ('m action, 'm env_state)ioa next :: 'm env_state => bool