(coq.theory
 (name ITreeTutorial)
 (package coq-itree-tutorial)
 (theories ITree))
