diff etc/PROBLEMS @ 86499:8337a257fe94

(math-provably-realp): Fix typo.
author Jay Belanger <jay.p.belanger@gmail.com>
date Tue, 27 Nov 2007 04:53:27 +0000
parents 2cce56fd7361
children 4c6c79916238 53108e6cea98
line wrap: on
line diff