thys2/Journal/PaperExt.thy
changeset 609 61139fdddae0
parent 369 e00950ba4514