aboutsummaryrefslogtreecommitdiff
path: root/devel/aifad/pkg-descr
Commit message (Expand)AuthorAgeFilesLines
* AIFAD stands for --Automated Induction of Functions over AlgebraicMartin Wilke2006-08-231-0/+8