summaryrefslogtreecommitdiff
path: root/devel/aifad (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Update to 1.0.27Stanislav Sedov2006-12-092-5/+5
* AIFAD stands for --Automated Induction of Functions over AlgebraicMartin Wilke2006-08-234-0/+71