equal
deleted
inserted
replaced
11 quantifier1.ML simplification procedures for "1 point rules" 
11 quantifier1.ML simplification procedures for "1 point rules" 
12 splitter.ML performs case splits for simplifier 
12 splitter.ML performs case splits for simplifier 
13 typedsimp.ML basic simplifier for explicitly typed logics 
13 typedsimp.ML basic simplifier for explicitly typed logics 
14 
14 
15 directory Arith: 
15 directory Arith: 
16 abel_cancel.ML cancel complementary terms in sums of Abelian groups 

17 assoc_fold.ML fold numerals in nested products 
16 assoc_fold.ML fold numerals in nested products 
18 cancel_numerals.ML cancel common coefficients in balanced expressions 
17 cancel_numerals.ML cancel common coefficients in balanced expressions 
19 cancel_factor.ML cancel common constant factor 

20 cancel_sums.ML cancel common summands 
18 cancel_sums.ML cancel common summands 
21 combine_numerals.ML combine coefficients in expressions 
19 combine_numerals.ML combine coefficients in expressions 
22 fast_lin_arith.ML generic linear arithmetic package 
20 fast_lin_arith.ML generic linear arithmetic package 