Theory Interface

theory Interface 
imports
  "HOL-Library.Prefix_Order"
  Markov_Models.Discrete_Time_Markov_Chain
begin


end