ceriel bc43cebf73 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