src/HOL/Random_Sequence.thy
changeset 45802 b16f976db515
parent 42163 392fd6c4669c
child 50055 94041d602ecb