| Tue, 28 Nov 2000 16:21:51 +0100 | paulson | added a reference to {sec:products} for ordered pair reasoning | file | diff | annotate |
| Thu, 23 Nov 2000 16:25:08 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 06 Nov 2000 18:28:22 +0100 | paulson | minor modifications for new Springer style | file | diff | annotate |