src/HOL/SEQ.thy
changeset 48891 c0eafbd55de3
parent 44714 a8990b5d7365
child 50087 635d73673b5e