uncomment bootstrapProofsScript.sml

it basically all worked without any changes..
(it hardly proves as much as it should yet though)