parid0925
| Sun, 02 Mar 2003 15:39:19
The behaviors of conforming implementations must be consistent
with all of the behavioral constraints imposed on them by this RM4TM and
by the TM Application definitions they claim to implement.
(strike)
we should be constraining TM Applications and only indirectly applications. |