Name Last modified Size Description Parent Directory - 00INFO.NIC 1991-01-28 12:38 281 kruskal.m 1991-01-26 01:04 7.5K floyd.m 1991-01-26 01:04 9.4K README.Combinatorica 1991-01-26 01:03 3.2K Combinatorica.m 1991-01-26 01:03 97K