Cross Reference: /hets/ExtModal/Tries/Try2.het
Cross Reference: Try2.het
xref
: /
hets
/
ExtModal
/
Tries
/
Try2.het
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Try2.het revision fb37437497883c33a8a00af9f3bb84bb7350a305
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
2
N/A
logic ExtModal
2
N/A
2
N/A
spec Try2=
2
N/A
time modality t
2
N/A
modalities a,b
2
N/A
sort N
2
N/A
flexible op s__: N -> N
2
N/A
flexible ops 0,1: N
2
N/A
. [a] >= 2 (not (s 0 = 1)) U X X true
2
N/A
. <(a)> <= 00 false S (X true U Y true)
2
N/A
. < > <=1 true U <> <=1 true
2
N/A
. <true?> <=1 true
2
N/A
. mu b. true %implied
2
N/A
end
2
N/A