Exercises for May 18. Please attempt the following exercises *in addition to* all 1-star exercises. Mail your completed scripts to me (apt@cs.pdx.edu) by the beginning of class on Tuesday 5/18. Remember to work broadly as well as deeply. Don't get stuck on any one problem for too long (especially not the extra problems towards the ends of the chapters). Smallstep.v: test_step_2 value_not_same_as_normal_form (all three versions) Temp4: progress_bool step_deterministic normal_forms_unique eval__stepmany step__eval combined_properties par_body_n__Sn par_body_n Stlc.v: some_term_is_stuck value_is_nf step_deterministic finish_progress finish_preservation subject_expansion variation1 variation3 variation5 variation7 remove_predzero [more to come next week]