OS_type_def.thy
changeset 74 271e9818b6f6
parent 1 7d9c0ed02b56