thys/Data_slot.thy
changeset 21 57d89c29c812
parent 0 1378b654acde