5 commits

Author	SHA1	Message	Date
ceriel	3b0057625d	did not handle HOL names right (null names)	1987-07-29 10:43:43 +00:00
ceriel	6eaf182cee	Added Rcs Id	1987-03-10 11:49:39 +00:00
ceriel	815166e421	Added copyright notice	1987-03-09 19:15:41 +00:00
bal	387191a2c7	bug fixed: oldmap(lmap,llength) was sometimes called when no new map ... had to be allocated for the current (data-) unit.	1985-01-28 11:38:06 +00:00
bal	1833451151	Initial revision	1984-11-26 14:35:32 +00:00