-Q theories ITree

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

theories/Basics/Tacs.v
theories/Basics/Basics.v
theories/Basics/HeterogeneousRelations.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/CategoryRelations.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/Paco2.v
theories/Eq/Shallow.v
theories/Eq/Eq.v
theories/Eq/UpToTaus.v
theories/Eq/SimUpToTaus.v
theories/Eq/EqAxiom.v

theories/Props/Leaf.v
theories/Props/Finite.v
theories/Props/HasPost.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/ExceptionFacts.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/Events/FailFacts.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/TracesIT.v
theories/Dijkstra/ITreeDijkstra.v
theories/Dijkstra/StateIOTrace.v

theories/ITrace/EuttEv.v
theories/ITrace/ITraceDefinition.v
theories/ITrace/ITraceFacts.v
theories/ITrace/EuttDiv.v
theories/ITrace/TracePrefix.v
theories/ITrace/ITraceBind.v
theories/ITrace/ITracePreds.v

theories/Secure/StrongBisimProper.v
theories/Secure/SecureEqHalt.v
theories/Secure/SecureEqEuttHalt.v
theories/Secure/SecureEqEuttTrans.v
theories/Secure/SecureEqWcompat.v
theories/Secure/SecureEqBind.v

theories/Secure/SecureEqProgInsens.v
theories/Secure/SecureEqProgInsensFacts.v
theories/Secure/SecureStateHandler.v
theories/Secure/SecureStateHandlerPi.v
