src/HOL/New_DSequence.thy
changeset 47255 30a1692557b0
parent 42163 392fd6c4669c
child 50055 94041d602ecb