thys/My_block.thy
changeset 14 23eeaac32d21
parent 9 b88fc9da1970
equal deleted inserted replaced
13:e6e412406a2d 14:23eeaac32d21