Slava Pestov c8360f5ae5 Rename curry* to with		2008-01-09 17:36:30 -05:00
..
algebra	…
analysis	Rename curry* to with	2008-01-09 17:36:30 -05:00
combinatorics	…
complex	…
constants	…
erato	Rename curry* to with	2008-01-09 17:36:30 -05:00
fft	Rename curry* to with	2008-01-09 17:36:30 -05:00
functions	…
haar	…
libm	…
matrices	Rename curry* to with	2008-01-09 17:36:30 -05:00
miller-rabin	Rename curry* to with	2008-01-09 17:36:30 -05:00
numerical-integration	…
polynomials	…
primes	…
quadratic	…
quaternions	…
ranges	…
ratios	…
statistics	Rename curry* to with	2008-01-09 17:36:30 -05:00
text	…
trig	…
vectors	Rename curry* to with	2008-01-09 17:36:30 -05:00