finished lists.v. that dumb rev l1 = rev l2 -> l1 = l2 was much easier than I made it...
finished lists.v. that dumb rev l1 = rev l2 -> l1 = l2 was much easier than I made it...

paul-kline/mysfProgress,paul-kline/mysfProgress