equal
deleted
inserted
replaced
12 Code_Integer |
12 Code_Integer |
13 Coinductive_List |
13 Coinductive_List |
14 Commutative_Ring |
14 Commutative_Ring |
15 Continuity |
15 Continuity |
16 ContNotDenum |
16 ContNotDenum |
17 Convex_Euclidean_Space |
|
18 Countable |
17 Countable |
19 Determinants |
|
20 Diagonalize |
18 Diagonalize |
21 Efficient_Nat |
19 Efficient_Nat |
22 Enum |
20 Enum |
23 Eval_Witness |
21 Eval_Witness |
24 Executable_Set |
22 Executable_Set |
53 Reflection |
51 Reflection |
54 RBT |
52 RBT |
55 SML_Quickcheck |
53 SML_Quickcheck |
56 State_Monad |
54 State_Monad |
57 Sum_Of_Squares |
55 Sum_Of_Squares |
58 Topology_Euclidean_Space |
|
59 Univ_Poly |
56 Univ_Poly |
60 While_Combinator |
57 While_Combinator |
61 Word |
58 Word |
62 Zorn |
59 Zorn |
63 begin |
60 begin |