thys/Data_slot.thy
changeset 5 6c722e960f2e
parent 0 1378b654acde
equal deleted inserted replaced
4:ceb0bdc99893 5:6c722e960f2e