equal
deleted
inserted
replaced
62 State_Monad |
62 State_Monad |
63 Sublist |
63 Sublist |
64 Sum_of_Squares |
64 Sum_of_Squares |
65 Transitive_Closure_Table |
65 Transitive_Closure_Table |
66 While_Combinator |
66 While_Combinator |
67 Zorn |
|
68 begin |
67 begin |
69 end |
68 end |
70 (*>*) |
69 (*>*) |