("4.2" (collects #"scheme" #"mzscheme.ss") (collects #"lang" #"private" #"firstorder.ss") (collects #"stepper" #"private" #"shared.ss") (collects #"mzscheme" #"main.ss") (collects #"lang" #"error.ss") (collects #"lang" #"htdp-beginner.ss"))
