thys2/Journal/PaperExt.thy
changeset 519 856d025dbc15
parent 369 e00950ba4514