ceriel d7030591f9 fixed problems in Storage module: caused integer overflow and bad pointers		1988-04-11 10:34:31 +00:00
..
basic	Initial revision	1987-04-13 10:32:47 +00:00
cem	a minor mod	1988-04-07 15:35:48 +00:00
m2	fixed problems in Storage module: caused integer overflow and bad pointers	1988-04-11 10:34:31 +00:00
occam	made to work	1988-02-15 18:08:46 +00:00
pc	don't generate HOL's of zero size	1988-04-08 09:46:04 +00:00
.distr	Added m2	1988-04-08 13:10:18 +00:00