|
|
|
Revision Browser : implication |
|
|
[
return to viewing 'implication'
]
| diff |
2006-08-02 13:18:15
- revision [
Version 4 -->
(current)
]
by
akrowne
| Changes for correction #8898 ('supress links (even and terms)'). |
|
|
(date unknown)
- revision [
Version 2 -->
(missing)
]
by
akrowne
| Changes for correction #1044 ('fun facts') : defined vacuously true, gave (b \lor \lnot a) equivalence. Cleaned up a little bit otherwise. |
|
|
|
|
displaying all 2 items.
|
