equal
deleted
inserted
replaced
23 Char_ord |
23 Char_ord |
24 Commutative_Ring |
24 Commutative_Ring |
25 Coinductive_List |
25 Coinductive_List |
26 AssocList |
26 AssocList |
27 Infinite_Set |
27 Infinite_Set |
|
28 State_Monad |
28 begin |
29 begin |
29 end |
30 end |
30 (*>*) |
31 (*>*) |