| changeset 12338 | de0f4a63baa5 |
| parent 11703 | 6e5de8d4290a |
| child 17309 | c43ed29bd197 |
--- a/src/HOL/TLA/Memory/ProcedureInterface.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOL/TLA/Memory/ProcedureInterface.thy Sat Dec 01 18:52:32 2001 +0100 @@ -21,7 +21,7 @@ ('a,'r) channel = (PrIds => ('a,'r) chan) stfun arities - chan :: (term,term) term + chan :: (type,type) type consts (* data-level functions *)