Fix fixpoint import error and ExclBot -> ExclInvalid rename#16

tz18 wants to merge 1 commit into

logsem:masterlogsem/iris-tutorial:masterfrom

tz18:fixing_some_thingstz18/iris-tutorial:fixing_some_thingsCopy head branch name to clipboard