ProgTutorial/Recipes/StoringData.thy
changeset 247 afa2d9c6b3b7
parent 211 d5accbc67e1b