Gen.thy:Gen = Main
MonadA.thy:MonadA = Monad + 
MonadArr.thy:MonadArr = Monad3 + 
MonadC.thy:MonadC = Monad + 
MonadCF.thy:MonadCF = MonadF
MonadCQ.thy:MonadCQ = Monad3 + MonadC + 
MonadE.thy:MonadE = MonadA + 
MonadFJDA.thy:MonadFJDA = MonadJF
MonadJD.thy:MonadJD = Monad3C + MonadFJDA
MonadJF.thy:MonadJF = MonadF 
MonadK.thy:MonadK = MonadA +
MonadL.thy:MonadL = Monad3 + MonadCF + 
MonadLK.thy:MonadLK = MonadL + MonadK + Monoid + 
MonadMapC.thy:MonadMapC = Monad3C + MonadJD + 
MonadR.thy:MonadR = MonadA + 
MonadS.thy:MonadS = MonadA + 
MonadSR.thy:MonadSR = MonadR + MonadS +
MonadSW.thy:MonadSW = MonadW + MonadS +
MonadV.thy:MonadV = MonadV1 + 
MonadV1.thy:MonadV1 = MonadA + 
MonadW.thy:MonadW = MonadW1 + 
MonadW1.thy:MonadW1 = MonadA + 
MonadWL.thy:MonadWL = MonadW + 
Fuzzy.thy:Fuzzy = Gen + Real + Monad3 + 
FuzzyL.thy:FuzzyL = Gen + Cnv + Monad3 + CompleteLattice + 
Monad.thy:Monad = Gen + HOL_Gen + MonadF + 
Monad3.thy:Monad3 = HOL_Gen + Monad +
Monad3C.thy:Monad3C = Gen + Monad3 + MonadC + MonadCF + 
Monad7.thy:Monad7 = HOL_Gen + Monad + 
MonadF.thy:MonadF = HOL_Gen
MonadPR.thy:MonadPR = HOL_Gen + 
Monoid.thy:Monoid = HOL_Gen + 
PreFuzzy.thy:PreFuzzy = Gen + Real