Changeset 535 for Deliverables/D3.1/Csemantics/cerco/Util.ma
 Timestamp:
 Feb 16, 2011, 4:25:02 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D3.1/Csemantics/cerco/Util.ma
r534 r535 13 13 ]. 14 14 15 (* 15 16 notation "hvbox('if' b 'then' t 'else' f)" 16 17 non associative with precedence 83 17 18 for @{ 'if_then_else $b $t $f }. 19 *) 20 notation > "'if' term 19 e 'then' term 19 t 'else' term 48 f" non associative with precedence 19 for @{ 'if_then_else $e $t $f }. 21 notation < "'if' \nbsp term 19 e \nbsp 'then' \nbsp term 19 t \nbsp 'else' \nbsp term 48 f \nbsp" non associative with precedence 19 for @{ 'if_then_else $e $t $f }. 18 22 19 23 interpretation "Bool if_then_else" 'if_then_else b t f = (if_then_else ? b t f).
Note: See TracChangeset
for help on using the changeset viewer.