Cross Reference: tcs1.cspcasl
xref: /hets/CspCASL/test/tcs1.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
tcs1.cspcasl revision c01168f53431b6ad785bf8a8b12bd3a60b93b9b4
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblettccspec tcs1 =
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett data
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett sorts S, T
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett ops c: S; d: T
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett process
c01168f53431b6ad785bf8a8b12bd3a60b93b9b4Andy Gimblett c -> SKIP || d -> SKIP

Indexes created Tue Jul 24 14:28:13 CEST 2018