thys2/Journal/PaperExt.thy
changeset 550 9feeb279afdd
parent 369 e00950ba4514