equal
deleted
inserted
replaced
25 Permutation |
25 Permutation |
26 Primes |
26 Primes |
27 Quotient |
27 Quotient |
28 Ramsey |
28 Ramsey |
29 State_Monad |
29 State_Monad |
|
30 Size_Change_Termination |
30 While_Combinator |
31 While_Combinator |
31 Word |
32 Word |
32 Zorn |
33 Zorn |
33 begin |
34 begin |
34 end |
35 end |