equal
deleted
inserted
replaced
6 AssocList |
6 AssocList |
7 BigO |
7 BigO |
8 Binomial |
8 Binomial |
9 Boolean_Algebra |
9 Boolean_Algebra |
10 Char_ord |
10 Char_ord |
|
11 Code_Index |
|
12 Code_Message |
11 Coinductive_List |
13 Coinductive_List |
12 Commutative_Ring |
14 Commutative_Ring |
13 Continuity |
15 Continuity |
14 Efficient_Nat |
16 Efficient_Nat |
15 (*Eval*) |
17 (*Eval*) |
16 Eval_Witness |
18 Eval_Witness |
17 Executable_Set |
19 Executable_Set |
18 FuncSet |
20 FuncSet |
19 GCD |
21 GCD |
20 Infinite_Set |
22 Infinite_Set |
21 ML_String |
|
22 Multiset |
23 Multiset |
23 NatPair |
24 NatPair |
24 Nat_Infinity |
25 Nat_Infinity |
25 Nested_Environment |
26 Nested_Environment |
26 Numeral_Type |
27 Numeral_Type |
27 OptionalSugar |
28 OptionalSugar |
28 Parity |
29 Parity |
29 Permutation |
30 Permutation |
30 Pretty_Char_chr |
31 Code_Integer |
31 Pretty_Int |
32 Code_Char_chr |
32 Primes |
33 Primes |
33 Quicksort |
34 Quicksort |
34 Quotient |
35 Quotient |
35 Ramsey |
36 Ramsey |
36 State_Monad |
37 State_Monad |