src/Sequents/Washing.thy
changeset 29450 ac7f67be7f1f
parent 26480 544cef16045b
child 35762 af3ff2ba4c54
equal deleted inserted replaced
29449:6e7745d35a30 29450:ac7f67be7f1f