Changes between Version 3 and Version 4 of TypeNats/Interact2
- Timestamp:
- 12/15/10 18:03:22 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeNats/Interact2
v3 v4 1 {{{ 2 a <= b 3 (b <= a) <=> a ~ b 4 }}} 5 1 6 {{{ 2 7 a + b ~ c
| v3 | v4 | |
|---|---|---|
| 1 | {{{ | |
| 2 | a <= b | |
| 3 | (b <= a) <=> a ~ b | |
| 4 | }}} | |
| 5 | ||
| 1 | 6 | {{{ |
| 2 | 7 | a + b ~ c |
