forAll with ncnames

Previous Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

forAll with ncnames


While trying to use @forAll with ncnames
following test case worked out well after adding
@keywords is, of, a.
cwm -think
-filter= -why >

Is very nifty proof!
.. will try to test relationship with

Jos De Roo, AGFA