-Q theories ITree

theories/Simple.v
theories/ITree.v
theories/ITreeFacts.v

theories/Basics/Basics.v
theories/Basics/Category.v
theories/Basics/CategoryOps.v
theories/Basics/CategoryTheory.v
theories/Basics/CategoryFacts.v
theories/Basics/CategorySub.v
theories/Basics/CategoryFunctor.v
theories/Basics/Monad.v
theories/Basics/MonadProp.v
theories/Basics/MonadState.v
theories/Basics/CategoryKleisli.v
theories/Basics/CategoryKleisliFacts.v
theories/Basics/Function.v
theories/Basics/FunctionFacts.v

theories/Core/ITreeDefinition.v
theories/Core/KTree.v
theories/Core/KTreeFacts.v
theories/Core/Subevent.v
theories/Core/ITreeMonad.v
theories/Core/Divergence.v

theories/Eq.v
theories/Eq/Shallow.v
theories/Eq/Eq.v
theories/Eq/UpToTaus.v
theories/Eq/SimUpToTaus.v
theories/Eq/EqAxiom.v

theories/Indexed/Sum.v
theories/Indexed/Relation.v
theories/Indexed/Function.v
theories/Indexed/FunctionFacts.v

theories/Interp/Interp.v
theories/Interp/TranslateFacts.v
theories/Interp/InterpFacts.v
theories/Interp/Handler.v
theories/Interp/HandlerFacts.v
theories/Interp/Recursion.v
theories/Interp/RecursionFacts.v
theories/Interp/Traces.v

theories/Events.v
theories/Events/State.v
theories/Events/StateFacts.v
theories/Events/Reader.v
theories/Events/Writer.v
theories/Events/Exception.v
theories/Events/Nondeterminism.v
theories/Events/Map.v
theories/Events/MapDefault.v
theories/Events/MapDefaultFacts.v
theories/Events/Concurrency.v
theories/Events/Dependent.v

theories/Dijkstra/DijkstraMonad.v
theories/Dijkstra/IterRel.v
theories/Dijkstra/PureITreeBasics.v
theories/Dijkstra/PureITreeDijkstra.v
theories/Dijkstra/DelaySpecMonad.v
theories/Dijkstra/StateSpecT.v
theories/Dijkstra/StateDelaySpec.v
theories/Dijkstra/EuttEv.v
theories/Dijkstra/ITrace.v
theories/Dijkstra/TracePrefix.v
theories/Dijkstra/ITraceBind.v
theories/Dijkstra/EuttDiv.v
theories/Dijkstra/ITracePreds.v
theories/Dijkstra/ITraceBindTrigger.v
theories/Dijkstra/TracesIT.v
theories/Dijkstra/ITreeDijkstra.v
theories/Dijkstra/StateIOTrace.v
