ProgTutorial/Recipes/StoringData.thy
changeset 270 bfcabed9079e
parent 211 d5accbc67e1b
equal deleted inserted replaced
269:3e084d62885c 270:bfcabed9079e