equal
deleted
inserted
replaced
59 State_Monad |
59 State_Monad |
60 Sum_Of_Squares |
60 Sum_Of_Squares |
61 Transitive_Closure_Table |
61 Transitive_Closure_Table |
62 Univ_Poly |
62 Univ_Poly |
63 While_Combinator |
63 While_Combinator |
64 Word |
|
65 Zorn |
64 Zorn |
66 begin |
65 begin |
67 end |
66 end |
68 (*>*) |
67 (*>*) |