CookBook/Recipes/StoringData.thy
changeset 116 c9ff326e3ce5
parent 72 7b8c4fe235aa
child 119 4536782969fa
equal deleted inserted replaced
115:039845fc96bd 116:c9ff326e3ce5