[
return to viewing 'well ordered set'
]
| diff |
2005-07-26 22:38:49
- revision [
Version 10 -->
(current)
]
by
drini
| Changes for correction #6887 ('classification'). |
|
| diff |
2005-07-26 22:36:57
- revision [
Version 9 --> Version 10
]
by
drini
| changed the msc codes you sggested (this wasn't my entry, I adopted it at some point) |
|
| 
