History for path src/INReductionStrategies.hs
17 years ago Miguel Vilaca New File Format
17 years ago Miguel Vilaca Checks
18 years ago Miguel Vilaca Standard reduction stragies system