ProgTutorial/Recipes/StoringData.thy
changeset 260 5accec94b6df
parent 211 d5accbc67e1b