home *** CD-ROM | disk | FTP | other *** search
- Xref: sparky comp.theory:1919 sci.math:11438
- Path: sparky!uunet!sun-barr!olivea!spool.mu.edu!darwin.sura.net!Sirius.dfn.de!th-ilmenau.RZ.TH-Ilmenau.DE!hpux.rz.uni-jena.de!mwj
- From: mwj@rz.uni-jena.de (Johannes Waldmann)
- Newsgroups: comp.theory,sci.math
- Subject: that signature lemma
- Message-ID: <1992Sep14.223409.15380@rz.uni-jena.de>
- Date: 14 Sep 92 22:34:09 GMT
- Organization: University Jena, Germany
- Lines: 10
-
- Some time ago, a signature under a posting in one of these newsgroups
- contained a function definition (two lines of C code) and the statement
- that this function was total.
-
- I somehow lost that file, so could the originator (or some other friendly
- soul who has a copy of it) please send me the text of this lemma again.
-
- Johannes Waldmann
-
- mwj@hpux.rz.uni-jena.de -- currently: jw24@tower.york.ac.uk
-