src/HOL/Data_Structures/Time_Examples.thy
changeset 83035 d25f2989ef8b
parent 82099 168f9a5824a8