equal
deleted
inserted
replaced
10 Char_ord |
10 Char_ord |
11 Continuity |
11 Continuity |
12 ContNotDenum |
12 ContNotDenum |
13 Convex |
13 Convex |
14 Countable |
14 Countable |
|
15 Debug |
15 Dlist |
16 Dlist |
16 Eval_Witness |
17 Eval_Witness |
17 Extended_Nat |
18 Extended_Nat |
18 FinFun |
19 FinFun |
19 Float |
20 Float |
35 Multiset |
36 Multiset |
36 Numeral_Type |
37 Numeral_Type |
37 Old_Recdef |
38 Old_Recdef |
38 OptionalSugar |
39 OptionalSugar |
39 Option_ord |
40 Option_ord |
|
41 Parallel |
40 Permutation |
42 Permutation |
41 Permutations |
43 Permutations |
42 Poly_Deriv |
44 Poly_Deriv |
43 Polynomial |
45 Polynomial |
44 Preorder |
46 Preorder |