6 commits

Author	SHA1	Message	Date
ceriel	5838d4899d	name changes	1987-07-03 16:07:18 +00:00
ceriel	ea69982a26	fixes, different traps, new files	1987-06-26 15:59:52 +00:00
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	9294fb9b8c	Added RealConversion	1987-05-22 17:15:09 +00:00
ceriel	0cc5442188	Initial revision	1987-05-13 14:36:45 +00:00