equal
deleted
inserted
replaced
7 Binomial |
7 Binomial |
8 Char_ord |
8 Char_ord |
9 Coinductive_List |
9 Coinductive_List |
10 Commutative_Ring |
10 Commutative_Ring |
11 Continuity |
11 Continuity |
12 EfficientNat |
12 Efficient_Nat |
13 Eval |
13 Eval |
14 ExecutableRat |
14 Executable_Rat |
15 Executable_Real |
15 Executable_Real |
16 ExecutableSet |
16 Executable_Set |
17 FuncSet |
17 FuncSet |
18 GCD |
18 GCD |
19 Infinite_Set |
19 Infinite_Set |
20 MLString |
20 ML_String |
21 Multiset |
21 Multiset |
22 NatPair |
22 NatPair |
23 Nat_Infinity |
23 Nat_Infinity |
24 Nested_Environment |
24 Nested_Environment |
25 OptionalSugar |
25 OptionalSugar |