changeset 62352 | 35a9e1cbb5b3 |
parent 62286 | 705d4c4003ea |
child 62357 | ab76bd43c14a |
62351:fd049b54ad68 | 62352:35a9e1cbb5b3 |
---|---|
36 List_lexord |
36 List_lexord |
37 Sublist_Order |
37 Sublist_Order |
38 Product_Lexorder |
38 Product_Lexorder |
39 Product_Order |
39 Product_Order |
40 Finite_Lattice |
40 Finite_Lattice |
41 Polynomial_GCD_euclidean |
|
41 (*data refinements and dependent applications*) |
42 (*data refinements and dependent applications*) |
42 AList_Mapping |
43 AList_Mapping |
43 Code_Binary_Nat |
44 Code_Binary_Nat |
44 Code_Char |
45 Code_Char |
45 Code_Prolog |
46 Code_Prolog |