thys/My_block.thy
changeset 26 1cde7bf45858
parent 9 b88fc9da1970
equal deleted inserted replaced
25:a5f5b9336007 26:1cde7bf45858