2 commits

Author	SHA1	Message	Date
ceriel	fd817d4dbc	Minor adaptions in order to reduce the size	1987-09-23 16:39:43 +00:00
ceriel	0e397f09f3	many changes; some cosmetic; coercions now explicit in tree	1987-07-30 13:37:39 +00:00