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