thys/Journal/PaperExt.thy
changeset 419 6de6bc551a8b
parent 291 25b7d6bfd294