summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* new package: Automated Deduction SystemGeorge Shapovalov2003-05-164-2/+53
* new package: Automated Deduction SystemGeorge Shapovalov2003-05-161-0/+3