4 Commits

Author	SHA1	Message	Date
ceriel	f26dd7bb01	Header --> Id	1994-06-24 14:02:31 +00:00
ceriel	9a93a52d2e	mainly new comments	1988-02-19 15:54:01 +00:00
ceriel	e85d299448	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00
ceriel	0fe3fbd296	Initial revision	1987-05-13 14:36:45 +00:00