close
Warning:
Can't synchronize with repository "(default)" (/var/svn/tolp does not appear to be a Subversion repository.). Look in the Trac log for more information.
- Timestamp:
-
Feb 27, 2009, 5:13:40 PM (17 years ago)
- Author:
-
Víctor de Buen Remiro
- Comment:
-
--
Legend:
- Unmodified
- Added
- Removed
- Modified
-
|
v1
|
v2
|
|
| 5 | 5 | * Declaración: |
| 6 | 6 | {{{ |
| 7 | | Real + (Real x) |
| | 7 | Real (Real x) |
| 8 | 8 | }}} |
| 9 | 9 | * Descripción: |
| … |
… |
|
| 17 | 17 | * Declaración: |
| 18 | 18 | {{{ |
| 19 | | Real - (Real x) |
| | 19 | Real (Real x) |
| 20 | 20 | }}} |
| 21 | 21 | * Descripción: |
| … |
… |
|
| 29 | 29 | * Declaración: |
| 30 | 30 | {{{ |
| 31 | | Real !=var1 != var2 {Anything var1, Anything var2} |
| | 31 | Real var1 != var2 {Anything var1, Anything var2} |
| 32 | 32 | }}} |
| 33 | 33 | * Descripción: |
| … |
… |
|
| 41 | 41 | * Declaración: |
| 42 | 42 | {{{ |
| 43 | | Real %x1 % x2 {Real x1, Real x2} |
| | 43 | Real x1 % x2 {Real x1, Real x2} |
| 44 | 44 | }}} |
| 45 | 45 | * Descripción: |
| … |
… |
|
| 53 | 53 | * Declaración: |
| 54 | 54 | {{{ |
| 55 | | Real &x1 & x2 {Real x1, Real x2} |
| | 55 | Real x1 & x2 {Real x1, Real x2} |
| 56 | 56 | }}} |
| 57 | 57 | * Descripción: |
| … |
… |
|
| 65 | 65 | * Declaración: |
| 66 | 66 | {{{ |
| 67 | | Real *x1 * x2 {Real x1, Real x2} |
| | 67 | Real x1 * x2 {Real x1, Real x2} |
| 68 | 68 | }}} |
| 69 | 69 | * Descripción: |
| … |
… |
|
| 77 | 77 | * Declaración: |
| 78 | 78 | {{{ |
| 79 | | Real +x1 + x2 {Real x1, Real x2} |
| | 79 | Real x1 + x2 {Real x1, Real x2} |
| 80 | 80 | }}} |
| 81 | 81 | * Descripción: |
| … |
… |
|
| 89 | 89 | * Declaración: |
| 90 | 90 | {{{ |
| 91 | | Real -x1 - x2 {Real x1, Real x2} |
| | 91 | Real x1 - x2 {Real x1, Real x2} |
| 92 | 92 | }}} |
| 93 | 93 | * Descripción: |
| … |
… |
|
| 101 | 101 | * Declaración: |
| 102 | 102 | {{{ |
| 103 | | Real /x1 / x2 {Real x1, Real x2} |
| | 103 | Real x1 / x2 {Real x1, Real x2} |
| 104 | 104 | }}} |
| 105 | 105 | * Descripción: |
| … |
… |
|
| 113 | 113 | * Declaración: |
| 114 | 114 | {{{ |
| 115 | | Real <var1 < var2 {Anything var1, Anything var2} |
| | 115 | Real var1 < var2 {Anything var1, Anything var2} |
| 116 | 116 | }}} |
| 117 | 117 | * Descripción: |
| … |
… |
|
| 125 | 125 | * Declaración: |
| 126 | 126 | {{{ |
| 127 | | Real <:x <: A {Anything x, Set A} |
| | 127 | Real x <: A {Anything x, Set A} |
| 128 | 128 | }}} |
| 129 | 129 | * Descripción: |
| … |
… |
|
| 137 | 137 | * Declaración: |
| 138 | 138 | {{{ |
| 139 | | Real <=var1 <= var2 {Anything var1, Anything var2} |
| | 139 | Real var1 <= var2 {Anything var1, Anything var2} |
| 140 | 140 | }}} |
| 141 | 141 | * Descripción: |
| … |
… |
|
| 149 | 149 | * Declaración: |
| 150 | 150 | {{{ |
| 151 | | Real ==var1 == var2 {Anything var1, Anything var2} |
| | 151 | Real var1 == var2 {Anything var1, Anything var2} |
| 152 | 152 | }}} |
| 153 | 153 | * Descripción: |
| … |
… |
|
| 161 | 161 | * Declaración: |
| 162 | 162 | {{{ |
| 163 | | Real >var1 > var2 {Anything var1, Anything var2} |
| | 163 | Real var1 > var2 {Anything var1, Anything var2} |
| 164 | 164 | }}} |
| 165 | 165 | * Descripción: |
| … |
… |
|
| 173 | 173 | * Declaración: |
| 174 | 174 | {{{ |
| 175 | | Real >=var1 >= var2 {Anything var1, Anything var2} |
| | 175 | Real var1 >= var2 {Anything var1, Anything var2} |
| 176 | 176 | }}} |
| 177 | 177 | * Descripción: |
| … |
… |
|
| 7201 | 7201 | * Declaración: |
| 7202 | 7202 | {{{ |
| 7203 | | Real ^x1 ^ x2 {Real x1, Real x2} |
| | 7203 | Real x1 ^ x2 {Real x1, Real x2} |
| 7204 | 7204 | }}} |
| 7205 | 7205 | * Descripción: |
| … |
… |
|
| 13331 | 13331 | * Declaración: |
| 13332 | 13332 | {{{ |
| 13333 | | Real |x1 | x2 {Real x1, Real x2} |
| | 13333 | Real x1 | x2 {Real x1, Real x2} |
| 13334 | 13334 | }}} |
| 13335 | 13335 | * Descripción: |