Induction: beq_nat_refl
Induction: plus_swap'
Induction: binary_commute
Basics: fix bin_inc
Lists: snd_fst_is_swap
Lists: fst_swap_is_snd
Lists: list_funs
Lists: alternate
Lists: bag_functions
Lists: bag_more_functions
Lists: bag_theorem
Lists: list_exercises
Lists: list_design
Lists: bag_proofs
Lists: bag_count_sum
Lists: rev_injective
Lists: hd_opt
Lists: option_elim_hd
Lists: beq_natlist
Lists: dictionary_invariant1