thys/Data_slot.thy
changeset 12 457240e42972
parent 0 1378b654acde