thys2/Journal/PaperExt.thy
changeset 424 2416fdec6396
parent 369 e00950ba4514