Theory Applicative_Examples

theory Applicative_Examples
imports Applicative_Environment_Algebra Stream_Algebra Tree_Relabelling
(* Author: Andreas Lochbihler, ETH Zurich *)

theory Applicative_Examples imports
  Applicative_Environment_Algebra
  Stream_Algebra
  Tree_Relabelling
begin

end