Name Last modified Size Description ArraySig.ML 1994-05-04 02:33 540 HASHDICT.ML 2004-05-28 06:09 546 NaiveDict.ML 2004-05-28 06:09 518 RPerm.ML 1994-05-05 04:19 360