src/Sequents/Washing.thy
changeset 65559 7ff7781913a4
parent 61386 0a29a984a91b