thys4/posix/PosixSpec.thy
changeset 640 bd1354127574
parent 587 3198605ac648