tcs1.cspcasl revision 9bf2e821ea5dc827aad8a092bd90bd587f8acb09
74ed5bd66f5d8a1465b69bd0450f2af030b638f0joncruzspec D[sort S] =
74ed5bd66f5d8a1465b69bd0450f2af030b638f0joncruz ops c: S; d: T
6c3e745a94ef6b25a4ef9f018d350a7535aa45afTed Gouldlogic CspCASL
74ed5bd66f5d8a1465b69bd0450f2af030b638f0joncruz data D[sort U]
23d859f2ce09c04ed802cb4912cc9c50f512f0a2bgk tcs1 = c -> SKIP || d -> SKIP ;
74ed5bd66f5d8a1465b69bd0450f2af030b638f0joncruz tcs1 = c -> SKIP || d -> SKIP