equal
deleted
inserted
replaced
13 Convex |
13 Convex |
14 Countable |
14 Countable |
15 Diagonalize |
15 Diagonalize |
16 Dlist_Cset |
16 Dlist_Cset |
17 Eval_Witness |
17 Eval_Witness |
|
18 Extended_Nat |
18 Float |
19 Float |
19 Formal_Power_Series |
20 Formal_Power_Series |
20 Fraction_Field |
21 Fraction_Field |
21 FrechetDeriv |
22 FrechetDeriv |
22 Cset |
23 Cset |
33 Kleene_Algebra |
34 Kleene_Algebra |
34 Mapping |
35 Mapping |
35 Monad_Syntax |
36 Monad_Syntax |
36 More_List |
37 More_List |
37 Multiset |
38 Multiset |
38 Nat_Infinity |
|
39 Nested_Environment |
39 Nested_Environment |
40 Numeral_Type |
40 Numeral_Type |
41 OptionalSugar |
41 OptionalSugar |
42 Option_ord |
42 Option_ord |
43 Permutation |
43 Permutation |