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