adapting proofs to modified FS_Induction theorem#190

ahelwer merged 8 commits intomastertlaplus/Examples:masterfrom

fs_inductiontlaplus/Examples:fs_inductionCopy head branch name to clipboard