3 commits

Author	SHA1	Message	Date
ceriel	43a6aed45c	fixes, made more consistent	1987-06-23 17:12:42 +00:00
ceriel	86c5c56a38	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00
ceriel	981e5b206b	Added .distr	1987-05-22 17:24:46 +00:00