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

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  -
[ ]141995-12-02 16:17 729
[ ]541995-12-02 16:18 2.3K
[ ]621995-12-02 16:18 1.7K
[ ]721995-12-02 16:18 2.4K
[ ]731995-12-02 16:18 3.9K
[ ]741995-12-02 16:18 3.9K
[ ]781995-12-02 16:18 810
[ ]911995-12-02 16:18 1.7K
[ ]961995-12-02 16:18 1.1K
[ ]1021995-12-02 16:18 1.3K
[ ]1271995-12-02 16:18 1.3K
[ ]1341995-12-02 16:18 743
[ ]1361995-12-02 16:18 666
[ ]1661995-12-02 16:18 2.7K
[ ]1781995-12-02 16:18 1.2K
[ ]1811995-12-02 16:18 908
[ ]1831995-12-02 16:18 1.0K
[ ]1971995-12-02 16:18 2.6K
[ ]1991995-12-02 16:18 1.8K
[ ]2001995-12-02 16:18 702
[ ]2011995-12-02 16:18 1.8K
[ ]2191995-12-02 16:19 694
[ ]2211995-12-02 16:19 831
[ ]2271995-12-02 16:19 690
[ ]2311995-12-02 16:19 2.4K
[ ]2331995-12-02 16:19 2.5K
[ ]2401995-12-02 16:19 2.0K
[ ]2671995-12-02 16:19 27K
[ ]3241995-12-02 16:19 2.3K
[ ]3261995-12-02 16:19 1.6K
[ ]3481995-12-02 16:19 1.8K
[ ]3631995-12-02 16:19 3.2K
[ ]3641995-12-02 16:19 1.9K
[ ]3671995-12-02 16:19 2.4K
[ ]3681995-12-02 16:19 2.4K
[ ]3691995-12-02 16:19 2.6K
[ ]3701995-12-02 16:19 2.6K
[ ]3761995-12-02 16:20 744
[ ]3881995-12-02 16:20 2.5K
[ ]3951995-12-02 16:20 2.7K
[ ]4001995-12-02 16:20 1.4K
[ ]4061995-12-02 16:20 1.2K
[ ]4101995-12-02 16:20 793
[ ]4161995-12-02 16:20 2.5K
[ ]4301995-12-02 16:20 836
[ ]4481995-12-02 16:20 2.3K
[ ]4911995-12-02 16:20 755
[ ]5221995-12-02 16:20 2.7K
[ ]5411995-12-02 16:20 13K
[ ]5451995-12-02 16:20 1.6K
[ ]5491995-12-02 16:20 1.7K
[ ]5501995-12-02 16:20 3.3K
[ ]5721995-12-02 16:20 1.7K
[ ]5821995-12-02 16:21 1.6K
[ ]5871995-12-02 16:21 4.4K
[ ]5881995-12-02 16:21 1.2K
[ ]5901995-12-02 16:21 820
[ ]6041995-12-02 16:21 2.4K
[ ]6161995-12-02 16:21 1.7K
[ ]6211995-12-02 16:21 757
[ ]6221995-12-02 16:21 3.0K
[ ]6261995-12-02 16:21 634
[ ]6271995-12-02 16:21 756
[ ]6281995-12-02 16:21 908
[ ]6291995-12-02 16:21 2.1K
[ ]6301995-12-02 16:21 790
[ ]6311995-12-02 16:21 1.2K
[ ]6351995-12-02 16:21 2.5K
[ ]6371995-12-02 16:21 2.2K
[ ]6381995-12-02 16:21 932
[ ]6441995-12-02 16:21 958
[ ]6451995-12-02 16:21 1.4K
[ ]6471995-12-02 16:21 1.8K
[ ]6501995-12-02 16:21 1.3K
[ ]6531995-12-02 16:21 7.3K
[ ]6591995-12-02 16:21 1.5K
[ ]6601995-12-02 16:21 645
[ ]6681995-12-02 16:21 1.7K
[ ]6691995-12-02 16:21 885
[ ]6711995-12-02 16:21 704
[ ]6721995-12-02 16:21 1.2K
[ ]6731995-12-02 16:21 724
[ ]6741995-12-02 16:21 795
[ ]6771995-12-02 16:21 711
[ ]6821995-12-02 16:21 713
[ ]6841995-12-02 16:21 1.5K
[ ]6871995-12-02 16:21 1.5K
[ ]6941995-12-02 16:21 1.1K
[ ]6951995-12-02 16:21 821
[ ]7011995-12-02 16:21 728
[ ]7021995-12-02 16:21 648
[ ]7031995-12-02 16:21 1.9K
[ ]7041995-12-02 16:21 1.9K
[ ]7151995-12-02 16:21 682
[ ]7301995-12-02 16:21 21K
[ ]7361995-12-02 16:21 1.1K
[ ]7801995-12-02 16:21 1.0K
[ ]7811995-12-02 16:21 1.5K
[ ]8071995-12-02 16:22 21K
[ ]8101995-12-02 16:22 2.2K
[ ]8121995-12-02 16:22 3.4K
[ ]8411995-12-02 16:22 2.7K
[ ]8481995-12-02 16:22 1.8K
[ ]8491995-12-02 16:22 1.0K
[ ]8501995-12-02 16:22 4.0K
[ ]8511995-12-02 16:22 1.7K
[ ]8521995-12-02 16:22 1.6K
[ ]8531995-12-02 16:22 1.9K
[ ]8541995-12-02 16:22 2.0K
[ ]8551995-12-02 16:22 2.2K
[ ]8561995-12-02 16:22 2.4K
[ ]8571995-12-02 16:22 1.9K
[ ]8581995-12-02 16:22 2.7K
[ ]8591995-12-02 16:22 2.1K
[ ]8601995-12-02 16:22 2.8K
[ ]8611995-12-02 16:22 846
[ ]8621995-12-02 16:22 1.3K
[ ]8631995-12-02 16:22 1.2K
[ ]8641995-12-02 16:22 1.6K
[ ]8651995-12-02 16:22 1.9K
[ ]8661995-12-02 16:22 1.1K
[ ]8671995-12-02 16:22 778
[ ]8681995-12-02 16:22 676
[ ]8691995-12-02 16:22 878
[ ]8701995-12-02 16:22 2.2K
[ ]8711995-12-02 16:22 1.1K
[ ]8721995-12-02 16:22 2.2K
[ ]8731995-12-02 16:22 850
[ ]8741995-12-02 16:22 2.1K
[ ]8751995-12-02 16:22 2.6K
[ ]8761995-12-02 16:22 1.8K
[ ]8771995-12-02 16:22 1.8K
[ ]8781995-12-02 16:22 719
[ ]8791995-12-02 16:22 2.2K
[ ]8801995-12-02 16:22 1.8K
[ ]8811995-12-02 16:22 2.6K
[ ]8821995-12-02 16:22 21K
[ ]8831995-12-02 16:22 1.7K
[ ]8841995-12-02 16:22 2.5K
[ ]8851995-12-02 16:22 1.8K
[ ]8861995-12-02 16:22 3.5K
[ ]8871995-12-02 16:22 1.6K
[ ]8881995-12-02 16:22 1.9K
[ ]8891995-12-02 16:22 2.7K
[ ]8901995-12-02 16:22 2.5K
[ ]8911995-12-02 16:22 2.0K
[ ]8921995-12-02 16:22 678
[ ]8931995-12-02 16:22 708
[ ]8941995-12-02 16:22 954
[ ]8951995-12-02 16:22 678
[ ]8961995-12-02 16:22 2.5K
[ ]8971995-12-02 16:22 1.5K
[ ]8981995-12-02 16:22 1.6K
[ ]8991995-12-02 16:22 2.8K
[ ]9001995-12-02 16:22 1.6K
[ ]9011995-12-02 16:22 2.1K
[ ]9021995-12-02 16:22 799
[ ]9031995-12-02 16:22 9.8K
[ ]9041995-12-02 16:22 1.4K
[ ]9051995-12-02 16:22 2.1K
[ ]9061995-12-02 16:22 1.4K
[ ]9071995-12-02 16:22 1.0K
[ ]9081995-12-02 16:22 1.5K
[ ]9091995-12-02 16:22 1.8K
[ ]9101995-12-02 16:22 1.8K
[ ]9111995-12-02 16:22 4.2K
[ ]9121995-12-02 16:22 2.1K
[ ]9131995-12-02 16:22 785
[ ]9141995-12-02 16:22 1.6K
[ ]9151995-12-02 16:22 1.6K
[ ]9161995-12-02 16:22 2.0K
[ ]9171995-12-02 16:22 3.3K
[ ]9181995-12-02 16:22 2.6K
[ ]9191995-12-02 16:22 2.0K
[ ]9201995-12-02 16:22 1.6K
[ ]9211995-12-02 16:22 4.3K
[ ]9221995-12-02 16:22 907
[ ]9231995-12-02 16:22 3.3K
[ ]9241995-12-02 16:22 1.8K
[ ]9251995-12-02 16:22 1.8K
[ ]9261995-12-02 16:22 1.3K
[ ]9271995-12-02 16:22 1.1K
[ ]9281995-12-02 16:22 1.8K
[ ]9291995-12-02 16:22 1.8K
[ ]9301995-12-02 16:22 1.8K
[ ]9311995-12-02 16:22 650
[ ]9321995-12-02 16:22 1.8K
[ ]9331995-12-02 16:22 853
[ ]9341995-12-02 16:22 696
[ ]9351995-12-02 16:22 2.2K
[ ]9361995-12-02 16:22 1.4K
[ ]9371995-12-02 16:22 1.9K
[ ]9381995-12-02 16:22 1.3K
[ ]9391995-12-02 16:22 1.9K
[ ]9401995-12-02 16:22 1.5K
[ ]9411995-12-02 16:22 1.5K
[ ]9421995-12-02 16:22 1.8K
[ ]9431995-12-02 16:22 1.1K
[ ]9441995-12-02 16:22 2.0K
[ ]9451995-12-02 16:22 2.3K
[ ]9461995-12-02 16:22 2.0K
[ ]9471995-12-02 16:22 2.5K
[ ]9481995-12-02 16:22 2.4K
[ ]9491995-12-02 16:22 765
[ ]9501995-12-02 16:22 3.0K
[ ]9511995-12-02 16:22 2.3K
[ ]9521995-12-02 16:22 2.0K
[ ]9531995-12-02 16:22 909
[ ]9541995-12-02 16:22 2.0K
[ ]9551995-12-02 16:22 2.8K
[ ]9561995-12-02 16:22 2.0K
[ ]9571995-12-02 16:22 2.2K
[ ]9581995-12-02 16:22 3.1K
[ ]9591995-12-02 16:22 854
[ ]9601995-12-02 16:22 809
[ ]9611995-12-02 16:22 3.1K
[ ]9621995-12-02 16:22 763
[ ]9631995-12-02 16:22 2.0K
[ ]9641995-12-02 16:22 901
[ ]9651995-12-02 16:22 2.0K
[ ]9661995-12-02 16:22 2.1K
[ ]9671995-12-02 16:22 2.1K
[ ]9681995-12-02 16:22 2.1K
[ ]9691995-12-02 16:22 4.1K
[ ]9701995-12-02 16:22 810
Apache/2.4.7 (Ubuntu) Server at stuff.mit.edu Port 443