thys2/Journal/PaperExt.thy
changeset 514 036600af4c30
parent 369 e00950ba4514