src/HOL/HOLCF/IOA/meta_theory/Traces.thy
changeset 51085 d90218288d51
parent 45606 b1e1508643b1
child 51703 f2e92fc0c8aa