3 commits

Author	SHA1	Message	Date
ceriel	ea590431d8	fixes	1987-06-19 09:25:08 +00:00
ceriel	86c5c56a38	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00
ceriel	9294fb9b8c	Added RealConversion	1987-05-22 17:15:09 +00:00