Re: [xml-dev] XML Schemas is Cool

David Carlisle scripsit:

> If deciding the truth of a mathematical statement  
> was an easy mechanical process, peer reviewing mathematical papers  
> wouldn't be so hard.

See .sig.

-- 
Almost all theorems are true,                   John Cowan <>
but almost all proofs have bugs.                http://www.ccil.org/~cowan
        --Paul Pedersen