Index of /afs/net.mit.edu/user/tytso/r-ready/proven.backup/Mail/951220

This content is being served through the AFS server hera.mit.edu in the athena.mit.edu AFS cell. If you have any questions about this content, please contact the administrator of this directory, who made it publicly available. The administrators of the stuff.mit.edu AFS gateway are not responsible for this content and have no ability to remove it.

The administrator of this directory is proven of athena.mit.edu.

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]221995-12-20 19:23 20K
[ ]231995-12-20 19:23 641
[ ]241995-12-20 19:23 638
[ ]611995-12-20 19:23 2.7K
[ ]621995-12-20 19:23 2.3K
[ ]631995-12-20 19:23 3.7K
[ ]761995-12-20 19:23 2.0K
[ ]851995-12-20 19:24 2.2K
[ ]861995-12-20 19:24 850
[ ]931995-12-20 19:24 26K
[ ]951995-12-20 19:24 3.8K
[ ]1081995-12-20 19:24 611
[ ]1301995-12-20 19:24 861
[ ]1341995-12-20 19:24 3.4K
[ ]1381995-12-20 19:24 1.4K
[ ]1501995-12-20 19:24 2.6K
[ ]1581995-12-20 19:24 1.3K
[ ]1591995-12-20 19:24 25K
[ ]1901995-12-20 19:24 3.5K
[ ]1971995-12-20 19:24 2.0K
[ ]2151995-12-20 19:24 4.4K
[ ]2331995-12-20 19:24 3.2K
[ ]2511995-12-20 19:24 3.8K
[ ]2691995-12-20 19:24 944
[ ]2731995-12-20 19:24 23K
[ ]3011995-12-20 19:24 741
[ ]3421995-12-20 19:25 7.2K
[ ]3431995-12-20 19:25 4.3K
[ ]3441995-12-20 19:25 786
[ ]3901995-12-20 19:25 729
[ ]3921995-12-20 19:25 4.0K
[ ]3951995-12-20 19:25 1.2K
[ ]4021995-12-20 19:25 1.0K
[ ]4131995-12-20 19:25 817
[ ]4161995-12-20 19:25 1.5K
[ ]4321995-12-20 19:25 606
[ ]4431995-12-20 19:25 22K
[ ]4581995-12-20 19:25 17K
[ ]4671995-12-20 19:25 3.4K
[ ]4821995-12-20 19:25 2.7K
[ ]4831995-12-20 19:25 1.8K
[ ]4841995-12-20 19:25 3.4K
[ ]4851995-12-20 19:25 3.1K
[ ]4861995-12-20 19:25 2.5K
[ ]4871995-12-20 19:25 1.9K
[ ]4881995-12-20 19:25 1.6K
[ ]4891995-12-20 19:25 1.9K
[ ]4901995-12-20 19:25 1.4K
[ ]4911995-12-20 19:25 1.2K
[ ]4921995-12-20 19:25 2.1K
[ ]4931995-12-20 19:25 2.2K
[ ]4941995-12-20 19:25 3.2K
[ ]4951995-12-20 19:25 1.1K
[ ]4961995-12-20 19:25 903
[ ]4971995-12-20 19:25 1.6K
[ ]4981995-12-20 19:25 1.5K
[ ]4991995-12-20 19:25 3.5K
[ ]5021995-12-20 19:25 3.4K
[ ]5051995-12-20 19:25 29K
[ ]5101995-12-20 19:25 726
[ ]5351995-12-20 19:25 2.3K
[ ]5581995-12-20 19:26 23K
[ ]5741995-12-20 19:26 21K
[ ]6541995-12-20 19:26 24K
[ ]6901995-12-20 19:26 24K
[ ]7291995-12-20 19:26 24K
[ ]7381995-12-20 19:26 744
[ ]8161995-12-20 19:27 24K
[ ]8581995-12-20 19:27 799
[ ]8691995-12-20 19:27 23K
[ ]9041995-12-20 19:27 21K
[ ]9491995-12-20 19:27 2.1K
[ ]9501995-12-20 19:27 1.6K
[ ]9561995-12-20 19:27 2.4K
[ ]9611995-12-20 19:27 23K
[ ]10051995-12-20 19:28 1.2K
[ ]10171995-12-20 19:28 1.2K
[ ]10181995-12-20 19:28 905
[ ]10531995-12-20 19:28 1.1K
[ ]10601995-12-20 19:28 2.8K
[ ]10961995-12-20 19:28 1.8K
[ ]10971995-12-20 19:28 2.3K
[ ]10981995-12-20 19:28 1.8K
[ ]10991995-12-20 19:28 1.0K
[ ]11771995-12-20 19:28 1.4K
[ ]11981995-12-20 19:28 22K
[ ]12121995-12-20 19:29 1.7K
[ ]12351995-12-20 19:29 1.8K
[ ]12381995-12-20 19:29 2.5K
[ ]12501995-12-20 19:29 3.0K
[ ]12511995-12-20 19:29 2.0K
[ ]12521995-12-20 19:29 2.1K
[ ]12531995-12-20 19:29 2.5K
[ ]12541995-12-20 19:29 3.9K
[ ]12561995-12-20 19:29 2.3K
[ ]12571995-12-20 19:29 2.1K
[ ]12581995-12-20 19:29 2.7K
[ ]12591995-12-20 19:29 2.4K
[ ]12601995-12-20 19:29 2.6K
[ ]12611995-12-20 19:29 3.1K
[ ]12621995-12-20 19:29 943
[ ]12631995-12-20 19:29 2.6K
[ ]12641995-12-20 19:29 1.7K
[ ]12651995-12-20 19:29 1.5K
[ ]12661995-12-20 19:29 1.8K
[ ]12671995-12-20 19:29 1.3K
[ ]12681995-12-20 19:29 661
[ ]12691995-12-20 19:29 2.1K
[ ]12701995-12-20 19:29 1.2K
[ ]12711995-12-20 19:29 1.2K
[ ]12721995-12-20 19:29 1.4K
[ ]12731995-12-20 19:29 1.6K
[ ]12741995-12-20 19:29 4.4K
[ ]12751995-12-20 19:29 1.2K
[ ]12761995-12-20 19:29 2.3K
[ ]12771995-12-20 19:29 2.2K
[ ]12781995-12-20 19:29 1.2K
[ ]12791995-12-20 19:29 1.3K
[ ]12801995-12-20 19:29 4.0K
[ ]12811995-12-20 19:29 2.9K
[ ]12821995-12-20 19:29 2.3K
[ ]12831995-12-20 19:29 2.4K
[ ]12841995-12-20 19:29 2.7K
[ ]12851995-12-20 19:29 2.4K
[ ]12861995-12-20 19:29 2.4K
[ ]12871995-12-20 19:29 2.4K
[ ]12881995-12-20 19:29 1.3K
[ ]12891995-12-20 19:29 1.9K
[ ]12901995-12-20 19:29 2.6K
[ ]12911995-12-20 19:29 1.7K
[ ]12921995-12-20 19:29 1.8K
[ ]12931995-12-20 19:29 3.2K
[ ]12941995-12-20 19:29 2.4K
[ ]12951995-12-20 19:29 3.2K
[ ]12961995-12-20 19:29 1.6K
[ ]12971995-12-20 19:29 1.7K
[ ]12981995-12-20 19:29 1.3K
[ ]12991995-12-20 19:29 1.2K
[ ]13001995-12-20 19:29 771
[ ]13011995-12-20 19:29 723
[ ]13261995-12-20 19:29 26K
[ ]13731995-12-20 19:29 1.7K
[ ]14001995-12-20 19:29 2.0K
[ ]14011995-12-20 19:29 2.2K
[ ]14021995-12-20 19:29 2.9K
[ ]14031995-12-20 19:29 1.4K
[ ]14041995-12-20 19:29 1.4K
[ ]14051995-12-20 19:29 2.2K
[ ]14061995-12-20 19:29 1.7K
[ ]14071995-12-20 19:29 3.7K
[ ]14081995-12-20 19:29 2.3K
[ ]14091995-12-20 19:29 4.1K
[ ]14101995-12-20 19:29 2.7K
[ ]14111995-12-20 19:29 2.3K
[ ]14121995-12-20 19:29 2.3K
[ ]14131995-12-20 19:29 1.9K
[ ]14141995-12-20 19:29 3.0K
[ ]14151995-12-20 19:29 2.0K
[ ]14161995-12-20 19:29 948
[ ]14171995-12-20 19:29 1.3K
[ ]14181995-12-20 19:29 23K
[ ]14191995-12-20 19:29 3.1K
[ ]14201995-12-20 19:29 1.8K
[ ]14211995-12-20 19:29 2.1K
[ ]14221995-12-20 19:29 1.4K
[ ]14231995-12-20 19:29 2.8K
[ ]14241995-12-20 19:29 1.2K
[ ]14251995-12-20 19:29 1.2K
[ ]14261995-12-20 19:29 1.1K
[ ]14271995-12-20 19:29 1.2K
[ ]14281995-12-20 19:29 1.2K
[ ]14291995-12-20 19:29 1.8K
[ ]14301995-12-20 19:29 3.0K
[ ]14311995-12-20 19:29 966
[ ]14321995-12-20 19:29 4.9K
[ ]14331995-12-20 19:29 1.8K
[ ]14341995-12-20 19:30 2.2K
[ ]14351995-12-20 19:30 3.2K
[ ]14361995-12-20 19:30 1.5K
[ ]14371995-12-20 19:30 2.2K
[ ]14381995-12-20 19:30 2.2K
[ ]14391995-12-20 19:30 2.2K
[ ]14401995-12-20 19:30 2.0K
[ ]14411995-12-20 19:30 1.8K
[ ]14421995-12-20 19:30 2.2K
[ ]14431995-12-20 19:30 1.4K
[ ]14441995-12-20 19:30 1.1K
[ ]14451995-12-20 19:30 1.1K
[ ]14461995-12-20 19:30 2.4K
[ ]14471995-12-20 19:30 2.3K
[ ]14481995-12-20 19:30 2.3K
[ ]14491995-12-20 19:30 2.5K
[ ]14501995-12-20 19:30 2.2K
[ ]14511995-12-20 19:30 1.5K
[ ]14521995-12-20 19:30 1.2K
[ ]14531995-12-20 19:30 2.2K
[ ]14541995-12-20 19:30 1.3K
[ ]14551995-12-20 19:30 2.0K
[ ]14561995-12-20 19:30 3.9K
[ ]14571995-12-20 19:30 21K
[ ]14581995-12-20 19:30 1.1K
[ ]14591995-12-20 19:30 1.6K
[ ]14601995-12-20 19:30 1.6K
[ ]14611995-12-20 19:30 848
[ ]14621995-12-20 19:30 1.4K
[ ]14631995-12-20 19:30 1.5K
[ ]14641995-12-20 19:30 1.6K
[ ]14651995-12-20 19:30 1.3K
[ ]14661995-12-20 19:30 3.0K
[ ]14671995-12-20 19:30 1.4K
[ ]14681995-12-20 19:30 1.4K
[ ]14691995-12-20 19:30 778
[ ]14701995-12-20 19:30 3.0K
[ ]14711995-12-20 19:30 644
[ ]14721995-12-20 19:30 2.0K
[ ]14731995-12-20 19:30 2.3K
[ ]14741995-12-20 19:30 3.1K
[ ]14751995-12-20 19:30 2.4K
[ ]14761995-12-20 19:30 1.6K
[ ]14771995-12-20 19:30 2.8K
[ ]14781995-12-20 19:30 903
[ ]14791995-12-20 19:30 3.2K
[ ]14801995-12-20 19:30 849
[ ]14811995-12-20 19:30 714
[ ]14821995-12-20 19:30 689
[ ]14831995-12-20 19:30 2.6K
[ ]14841995-12-20 19:30 3.3K
[ ]14851995-12-20 19:30 1.3K
[ ]14861995-12-20 19:30 1.9K
[ ]14871995-12-20 19:30 2.1K
[ ]14881995-12-20 19:30 1.3K
[ ]14891995-12-20 19:30 1.5K
[ ]14901995-12-20 19:30 1.4K
[ ]14911995-12-20 19:30 785
[ ]14921995-12-20 19:30 1.2K
[ ]14931995-12-20 19:30 2.7K
[ ]14941995-12-20 19:30 2.7K
[ ]14951995-12-20 19:30 1.2K
[ ]14961995-12-20 19:30 2.6K
[ ]14971995-12-20 19:30 698
[ ]14981995-12-20 19:30 2.1K
[ ]14991995-12-20 19:30 1.7K
[ ]15001995-12-20 19:30 1.6K
[ ]15011995-12-20 19:30 1.8K
[ ]15021995-12-20 19:30 2.1K
[ ]15031995-12-20 19:30 2.3K
[ ]15041995-12-20 19:30 3.1K
[ ]15051995-12-20 19:30 1.3K
[ ]15061995-12-20 19:30 2.1K
[ ]15071995-12-20 19:30 1.9K
[ ]15081995-12-20 19:30 2.0K
[ ]15091995-12-20 19:30 1.5K
[ ]15101995-12-20 19:30 2.4K
[ ]15111995-12-20 19:30 3.7K
[ ]15121995-12-20 19:30 2.0K
[ ]15131995-12-20 19:30 2.6K
[ ]15141995-12-20 19:30 494
[ ]15151995-12-20 19:30 1.6K
[ ]15161995-12-20 19:30 2.0K
[ ]15171995-12-20 19:30 1.6K
[ ]15181995-12-20 19:30 1.8K
[ ]15191995-12-20 19:30 1.6K
[ ]15201995-12-20 19:30 2.1K
[ ]15211995-12-20 19:30 1.6K
[ ]15221995-12-20 19:30 2.3K
[ ]15231995-12-20 19:30 2.1K
[ ]15241995-12-20 19:30 1.6K
[ ]15251995-12-20 19:30 2.2K
[ ]15261995-12-20 19:30 2.2K
[ ]15271995-12-20 19:30 2.1K
[ ]15281995-12-20 19:30 22K
[ ]15291995-12-20 19:30 770
[ ]15301995-12-20 19:30 1.5K
[ ]15311995-12-20 19:30 2.0K
[ ]15321995-12-20 19:30 4.1K
[ ]15331995-12-20 19:30 3.2K
[ ]15341995-12-20 19:30 951
[ ]15351995-12-20 19:30 1.6K
[ ]15361995-12-20 19:30 2.0K
[ ]15371995-12-20 19:30 1.7K
[ ]15381995-12-20 19:30 2.5K
[ ]15391995-12-20 19:30 1.8K
[ ]15401995-12-20 19:30 2.5K
[ ]15411995-12-20 19:30 1.6K
[ ]15421995-12-20 19:30 3.0K
[ ]15431995-12-20 19:30 2.9K
[ ]15441995-12-20 19:30 585
[ ]15451995-12-20 19:30 2.7K
[ ]15461995-12-20 19:30 1.9K
[ ]15471995-12-20 19:30 1.9K
[ ]15481995-12-20 19:30 3.1K
[ ]15491995-12-20 19:30 1.3K
[ ]15501995-12-20 19:30 1.2K
[ ]15511995-12-20 19:30 1.3K
[ ]15521995-12-20 19:30 2.0K
[ ]15531995-12-20 19:30 1.4K
[ ]15541995-12-20 19:30 2.0K
[ ]15551995-12-20 19:30 1.4K
[ ]15561995-12-20 19:30 5.2K
[ ]15571995-12-20 19:30 2.0K
[ ]15581995-12-20 19:30 1.7K
[ ]15591995-12-20 19:30 1.2K
[ ]15601995-12-20 19:30 1.4K
[ ]15611995-12-20 19:30 2.7K
[ ]15621995-12-20 19:30 1.3K
[ ]15631995-12-20 19:30 3.5K
[ ]15641995-12-20 19:30 3.5K
[ ]15651995-12-20 19:30 3.5K
[ ]15661995-12-20 19:30 2.2K
[ ]15671995-12-20 19:30 935
[ ]15681995-12-20 19:30 2.6K
[ ]15691995-12-20 19:30 917
[ ]15701995-12-20 19:30 947
[ ]15711995-12-20 19:30 965
[ ]15721995-12-20 19:30 3.1K
[ ]15731995-12-20 19:30 2.5K
[ ]15741995-12-20 19:30 1.0K
[ ]15751995-12-20 19:30 921
[ ]15761995-12-20 19:30 1.4K
[ ]15771995-12-20 19:30 1.5K
[ ]15781995-12-20 19:30 2.2K
[ ]15791995-12-20 19:30 2.3K
[ ]15801995-12-20 19:30 1.5K
[ ]15811995-12-20 19:30 1.7K
[ ]15821995-12-20 19:30 1.9K
[ ]15831995-12-20 19:30 2.4K
[ ]15841995-12-20 19:30 2.4K
[ ]15851995-12-20 19:30 2.9K
[ ]15861995-12-20 19:30 1.3K
[ ]15871995-12-20 19:30 2.9K
[ ]15881995-12-20 19:30 3.2K
[ ]15891995-12-20 19:30 1.1K
[ ]15901995-12-20 19:30 945
[ ]15911995-12-20 19:30 1.5K
[ ]15921995-12-20 19:30 1.5K
[ ]15931995-12-20 19:30 3.3K
[ ]15941995-12-20 19:30 1.4K
[ ]15951995-12-20 19:30 969
[ ]15961995-12-20 19:30 3.9K
[ ]15971995-12-20 19:30 21K
[ ]15981995-12-20 19:30 2.8K
[ ]16391995-12-26 12:12 1.2K
[ ]16921995-12-26 14:01 675
[ ]16981995-12-26 15:58 3.1K
[ ]17061995-12-27 12:55 2.3K
[ ]17371995-12-27 12:55 3.2K
[ ]17431995-12-27 12:55 2.9K
[ ]17441995-12-27 12:55 2.6K
[ ]17491995-12-27 12:55 2.1K
[ ]17501995-12-27 12:55 2.0K
[ ]17601995-12-27 12:55 2.4K
[ ]17621995-12-27 12:55 4.0K
[ ]17961995-12-27 12:55 2.6K
[ ]18021995-12-27 12:55 1.3K
[ ]18051995-12-27 12:55 1.2K
[ ]18071995-12-27 12:55 1.6K
[ ]18101995-12-27 12:55 1.5K
[ ]18161995-12-27 12:55 3.0K
[ ]18201995-12-27 12:55 1.3K
[ ]18251995-12-27 12:55 706
[ ]18311995-12-27 13:53 2.7K
[ ]18341995-12-27 13:53 1.3K
[ ]18351995-12-27 13:53 21K
[ ]18421995-12-27 15:12 3.3K
[ ]18501995-12-27 15:12 1.8K
[ ]18641995-12-28 18:37 889
[ ]18911995-12-28 18:37 2.1K
[ ]19061995-12-28 18:37 5.1K
[ ]19171995-12-28 18:37 2.2K
[ ]19291995-12-28 18:37 3.1K
[ ]19541995-12-28 18:37 1.9K
[ ]20271995-12-28 18:38 3.8K
[ ]20281995-12-28 18:38 3.1K
[ ]20291995-12-28 18:38 3.2K
[ ]20301995-12-28 18:38 4.3K
[ ]20331995-12-28 18:38 21K
[ ]20741995-12-28 18:38 2.4K
[ ]20961995-12-28 18:38 21K
[ ]20991995-12-28 18:38 2.3K
[ ]21051995-12-28 18:38 1.2K
[ ]21061995-12-28 18:38 2.5K
[ ]21171995-12-28 18:38 1.4K
[ ]21521995-12-28 18:38 2.3K
[ ]21661995-12-28 18:39 4.3K
[ ]21721995-12-29 12:36 946
[ ]21891995-12-29 12:36 2.9K
[ ]22181995-12-29 12:37 5.2K
[ ]22361995-12-29 12:37 2.0K
[ ]22441995-12-29 12:37 1.9K
[ ]22611995-12-29 12:37 1.8K
[ ]22631995-12-29 12:37 2.9K
[ ]22641995-12-29 12:37 1.3K
[ ]22951995-12-29 12:37 2.4K
[ ]22971995-12-29 12:37 2.5K
[ ]22981995-12-29 12:37 2.0K
[ ]22991995-12-29 12:37 2.0K
[ ]23171995-12-29 16:56 1.0K
[ ]23321995-12-29 16:56 1.6K
[ ]23331995-12-29 16:56 1.0K
[ ]23391995-12-29 16:56 959
[ ]23401995-12-29 18:55 2.1K
[ ]24731995-12-31 12:43 3.6K
[ ]25091995-12-31 12:43 3.9K
[ ]25241995-12-31 12:43 813
[ ]25351995-12-31 12:43 3.2K
[ ]25361995-12-31 12:43 2.1K
[ ]25691995-12-31 12:43 3.5K
[ ]25711995-12-31 12:43 2.2K
[ ]25761995-12-31 12:43 2.2K
[ ]25871995-12-31 12:43 2.4K
[ ]25921995-12-31 12:43 2.7K
[ ]26381995-12-31 12:43 1.7K
[ ]26581995-12-31 12:43 2.5K
[ ]26601995-12-31 12:43 2.7K
[ ]26611995-12-31 12:43 22K
[ ]26841995-12-31 12:43 2.2K
[ ]27041995-12-31 12:44 2.2K
[ ]27071996-01-01 16:51 1.6K
[ ]27091996-01-01 16:51 1.6K
[ ]27151996-01-01 16:51 1.4K
[ ]27251996-01-01 16:52 1.3K
[ ]27291996-01-01 16:52 1.2K
[ ]27301996-01-01 16:52 22K
[ ]27331996-01-01 16:52 2.2K
[ ]27341996-01-01 16:52 1.7K
[ ]27491996-01-01 16:52 2.3K
[ ]27561996-01-01 16:52 3.2K
[ ]27661996-01-01 16:52 1.6K
[ ]27811996-01-01 16:52 1.4K
[ ]28021996-01-01 16:52 20K
[ ]28541996-01-01 16:52 4.4K
Apache/2.4.7 (Ubuntu) Server at stuff.mit.edu Port 443