Subject: [FIAT-dev] removed dependence on currying since it seems to be unused

From: [email-masked]
Date: Wed, 05 Apr 2006 23:15:42 +0200

Commit from kirby (2006-04-05 23:15 CEST)
-----------------

removed dependence on currying since it seems to be unused

- fiat  FIAT/curry.py       1.2
  fiat  FIAT/polynomial.py  1.6