Cross Reference: tcs1.het.cspcasl
xref: /hets/CspCASL/test/tcs1.het.cspcasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
tcs1.het.cspcasl revision adce8375991a372444ab995895442dca6faf9677
f61448083198dc0e4e0d19a916bcd478336cc85dLennart Poetteringlogic CASL
6e200d55ae538fc29360cdaa9863f30cdddf58f3Lennart Poetteringspec D =
6e200d55ae538fc29360cdaa9863f30cdddf58f3Lennart Poettering sort S, T
dfac97b21e00cd3617ba817227db7b621841b5ccLennart Poettering ops c: S;
dfac97b21e00cd3617ba817227db7b621841b5ccLennart Poettering d: T
f0b02ca2afa806efb73b43a81204ff21c4c65446Lennart Poettering
f92a18f5274ad506aed600b2ed8f4a560c510807Lennart Poetteringlogic CspCASL
5e6afdd3d359fc42de7ac432243e98673577e81fLennart Poetteringspec tcs1 =
5e6afdd3d359fc42de7ac432243e98673577e81fLennart Poettering data D
5e6afdd3d359fc42de7ac432243e98673577e81fLennart Poettering process
fb1bd35a5dd1ad5cfd848fdbe0d64ac53a122af0Lennart Poettering tcs1: S, T;
cd6d0a456bc9c45fa79316fc5896e4a3ae75a30bLennart Poettering tcs1 = c -> SKIP ||d -> SKIP
cd6d0a456bc9c45fa79316fc5896e4a3ae75a30bLennart Poettering

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