equal
deleted
inserted
replaced
52 |
52 |
53 Minor fixes in the tutorial |
53 Minor fixes in the tutorial |
54 =========================== |
54 =========================== |
55 |
55 |
56 recdef: failed tcs no longer shown! |
56 recdef: failed tcs no longer shown! |
|
57 say something about how conditions are proved? |
|
58 No, better show failed proof attempts. |
57 |
59 |
58 Advanced recdef: explain recdef_tc? |
60 Advanced recdef: explain recdef_tc? No. Adjust recdef! |
59 |
61 |
60 Adjust FP textbook refs: new Bird, Hudak |
62 Adjust FP textbook refs: new Bird, Hudak |
61 Discrete math textbook: Rosen? |
63 Discrete math textbook: Rosen? |
62 |
64 |
63 adjust type of ^ in tab:overloading |
65 adjust type of ^ in tab:overloading |