Index of /rpa-output/induction

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      handshake.p             1994-09-06 10:48  871   
      handshake.s             1994-09-06 10:48  1.6K  
      hanoi.p                 1994-09-06 10:48  243   
      hanoi.s                 1994-09-06 10:48  5.2K  
      n-sphere.p              1994-09-06 10:48  107   
      n-sphere.s              1994-09-06 10:48  554   
      paradox.p               1994-09-06 10:48  124   
      paradox.s               1994-09-06 10:48  936   
      party.p                 1994-09-06 10:48  313   
      party.s                 1994-09-06 10:48  2.9K  
      roll.p                  1994-09-06 10:48  168   
      roll.s                  1994-09-06 10:48  528   
      takeover.p              1994-09-06 10:48  1.0K  
      takeover.s              1994-09-06 10:48  392