History for path src/INReduction.hs
17 years ago Miguel Vilaca New File Format
17 years ago Miguel Vilaca Reduction Bug Fix
17 years ago Miguel Vilaca Checks
18 years ago Miguel Vilaca Standard reduction stragies system
18 years ago Daniel Mendes WRINF strategy
18 years ago Miguel Vilaca Bug Fix
19 years ago Miguel Vilaca Reduction