CR-initiator1{i:l}(s) == A 
B: ["new"(m); "send"(data(m))]
Definitions :
basic-seq-1-1: A B: pas[A; B; m],
cons: [car / cdr],
mk-pa: n(v),
token: "$token",
atom-sdata: data(a),
nil: []
FDL editor aliases :
CR-initiator1
CR-initiator1\{i:l\}(s) == A {}\mrightarrow{} B: ["new"(m); "send"(data(m))]
Date html generated:
2010_08_28-AM-11_47_06
Last ObjectModification:
2010_02_23-AM-11_07_22
Home
Index