Index of /~avrim/PGP/Domains

      Name                    Last modified       Size  Description

[DIR] Parent Directory 18-Jan-2000 16:46 - [   ] 8puzzle18_facts 16-Sep-1999 11:37 1k [   ] 8puzzle30_facts 16-Sep-1999 11:37 1k [   ] 8puzzle_ops 16-Sep-1999 11:42 2k [   ] fixit_facts 16-Sep-1999 11:28 1k [   ] fixit_ops 16-Sep-1999 11:28 2k [   ] moat1_facts 16-Sep-1999 10:47 1k [   ] moat2_facts 16-Sep-1999 10:47 1k [   ] moat3_facts 16-Sep-1999 10:47 1k [   ] moat4_facts 16-Sep-1999 10:47 1k [   ] moat_ops 16-Sep-1999 11:14 1k [   ] p8puzzle_ops 16-Sep-1999 11:42 2k [   ] pblocks2_facts 16-Sep-1999 11:18 1k [   ] pblocks3_facts 16-Sep-1999 11:18 1k [   ] pblocks4_facts 16-Sep-1999 11:18 1k [   ] pblocks5_facts 16-Sep-1999 11:18 1k [   ] pblocks6_facts 16-Sep-1999 11:18 1k [   ] pblocks7_facts 16-Sep-1999 11:18 1k [   ] pblocks_ops 16-Sep-1999 11:20 1k

Apache/1.3.27 Server at www.cs.cmu.edu Port 80