Index of ftp://theory.lcs.mit.edu/pub/users/dam/TPIP/basic

[DIR] Parent Directory

[   ] alternating.i2  5.02Kb  August 17 1995
[   ] async18.i2  101.63Kb  August 17 1995
[   ] basic.tar.Z  171.33Kb  September 8 1995
[   ] binomial.i2  4.51Kb  August 17 1995
[   ] controller.i2  10.44Kb  August 17 1995
[   ] fibsums.i2  10.09Kb  August 17 1995
[   ] fortran.i2  12.86Kb  August 17 1995
[   ] fs-examples.i2  4.82Kb  August 17 1995
[   ] gauss.i2  29.72Kb  August 17 1995
[   ] new-gauss.i2  29.99Kb  August 17 1995
[   ] nqthm-boot.i2  13.37Kb  August 17 1995
[   ] parser.i2  373.00Kb  August 17 1995
[   ] peter.i2  1.16Kb  August 17 1995
[   ] pr.i2  5.51Kb  August 17 1995
[   ] proveall.i2  103.10Kb  August 17 1995
[   ] rsa.i2  8.42Kb  August 17 1995
[   ] small-machine.i2  40.96Kb  August 17 1995
[   ] sproveall.i2  103.10Kb  August 17 1995
[   ] tic-tac-toe.i2  467.96Kb  September 8 1995
[   ] tmi.i2  41.01Kb  August 17 1995
[   ] unsolv.i2  25.80Kb  August 17 1995
[   ] wilson.i2  8.07Kb  August 17 1995
[   ] ztak.i2  4.72Kb  August 17 1995