doc-src/Intro/theorems.txt
1994-07-11 lcp 1994-07-11 minor edits
1993-11-10 lcp 1993-11-10 Initial revision