run-msg-commands(r) ==
t:
{n:|
run-command-node(r;t;n)
(com-kind(snd(snd(run-command(r;t;n)))) 
``msg choose new``)}
Definitions :
product: x:A B[x],
set: {x:A| B[x]} ,
nat: ,
and: P Q,
run-command-node: run-command-node(r;t;n),
l_member: (x l),
com-kind: com-kind(c),
pi2: snd(t),
run-command: run-command(r;t;n),
cons: [car / cdr],
token: "$token",
nil: [],
atom: Atom
FDL editor aliases :
run-msg-commands
run-msg-commands(r) ==
t:\mBbbN{} \mtimes{} \{n:\mBbbN{}|
run-command-node(r;t;n) \mwedge{} (com-kind(snd(snd(run-command(r;t;n)))) \mmember{} ``msg choose new``)\}
Date html generated:
2010_08_27-PM-07_58_26
Last ObjectModification:
2010_05_31-AM-12_39_31
Home
Index