Changed Moving Cat Puzzle & Prisoners models to follow naming conventions#179

ahelwer merged 1 commit into

tlaplus:mastertlaplus/Examples:masterfrom

ahelwer:fix-model-namesahelwer/Examples:fix-model-namesCopy head branch name to clipboard