../ CVS/ 25-Aug-2023 10:01 - Makefile 25-Aug-2023 10:01 2343 README 09-Oct-2006 19:32 215 genpat5.hs 09-Oct-2006 19:32 2666 lfu.hs 09-Oct-2006 19:32 2395 lirs.c 09-Oct-2006 19:43 5682 lru.hs 09-Oct-2006 19:32 2049 nbsd.hs 09-Oct-2006 19:32 4701 opt.hs 09-Oct-2006 19:32 2235 pdsim.c 14-Oct-2006 11:43 5815 pdsim.h 09-Oct-2006 19:32 4519 rand.hs 09-Oct-2006 19:32 2187 renumber.hs 09-Oct-2006 19:32 1769