thys/Data_slot.thy
changeset 21 57d89c29c812
parent 0 1378b654acde
equal deleted inserted replaced
18:d826899bc424 21:57d89c29c812