equal
deleted
inserted
replaced
23 Extended_Nat |
23 Extended_Nat |
24 Extended_Nonnegative_Real |
24 Extended_Nonnegative_Real |
25 Extended_Real |
25 Extended_Real |
26 Finite_Map |
26 Finite_Map |
27 Float |
27 Float |
28 Formal_Power_Series |
|
29 Fraction_Field |
|
30 FSet |
28 FSet |
31 FuncSet |
29 FuncSet |
32 Function_Division |
30 Function_Division |
33 Function_Growth |
31 Function_Growth |
34 Fundamental_Theorem_Algebra |
|
35 Fun_Lexorder |
32 Fun_Lexorder |
36 Groups_Big_Fun |
33 Groups_Big_Fun |
37 Indicator_Function |
34 Indicator_Function |
38 Infinite_Set |
35 Infinite_Set |
39 IArray |
36 IArray |
57 Parallel |
54 Parallel |
58 Periodic_Fun |
55 Periodic_Fun |
59 Perm |
56 Perm |
60 Permutation |
57 Permutation |
61 Permutations |
58 Permutations |
62 Polynomial |
|
63 Polynomial_FPS |
|
64 Preorder |
59 Preorder |
65 Product_Plus |
60 Product_Plus |
66 Quadratic_Discriminant |
61 Quadratic_Discriminant |
67 Quotient_List |
62 Quotient_List |
68 Quotient_Option |
63 Quotient_Option |