src/HOLCF/IOA/meta_theory/Sequence.thy
changeset 25456 6f79698f294d
parent 25131 2c8caac48ade
child 25803 230c9c87d739