thys/Journal/PaperExt.thy
changeset 349 e29812ea4427
parent 291 25b7d6bfd294