Theory Applicative_Functor

theory Applicative_Functor
imports Applicative_Environment Applicative_Option Applicative_Sum Applicative_Set Applicative_DNEList Applicative_Monoid Applicative_Filter Applicative_State Applicative_Stream Applicative_Open_State Applicative_PMF Applicative_Probability_List Applicative_Star Applicative_Vector
(* Author: Joshua Schneider, ETH Zurich
   Author: Andreas Lochbihler, ETH Zurich *)

theory Applicative_Functor imports
  Applicative_Environment
  Applicative_Option
  Applicative_Sum
  Applicative_Set
  Applicative_List
  Applicative_DNEList
  Applicative_Monoid
  Applicative_Filter
  Applicative_State
  Applicative_Stream
  Applicative_Open_State
  Applicative_PMF
  Applicative_Probability_List
  Applicative_Star
  Applicative_Vector
begin

print_applicative

end