|
parid0325
| Sat, 01 Mar 2003 16:30:41
This RM4TM does not require TM Applications to define properties
whose values reflect the internal structure of assertions comprehensively.
Sorry, lost me on this one. What would comprehensively look like? |