src/HOL/SEQ.thy
changeset 46372 6fa9cdb8b850
parent 44714 a8990b5d7365
child 50087 635d73673b5e