W (constructor)
WDecideOn.MSetDecideAuxiliary.conj_elt_prop [in conj_elt_prop]
WDecideOn.MSetDecideAuxiliary.disj_elt_prop [in disj_elt_prop]
WDecideOn.MSetDecideAuxiliary.elt_MSet_Prop [in elt_MSet_Prop]
WDecideOn.MSetDecideAuxiliary.Empty_MSet_Prop [in Empty_MSet_Prop]
WDecideOn.MSetDecideAuxiliary.Equal_MSet_Prop [in Equal_MSet_Prop]
WDecideOn.MSetDecideAuxiliary.eq_elt_prop [in eq_elt_prop]
WDecideOn.MSetDecideAuxiliary.eq_Prop [in eq_Prop]
WDecideOn.MSetDecideAuxiliary.False_elt_prop [in False_elt_prop]
WDecideOn.MSetDecideAuxiliary.impl_elt_prop [in impl_elt_prop]
WDecideOn.MSetDecideAuxiliary.In_elt_prop [in In_elt_prop]
WDecideOn.MSetDecideAuxiliary.not_elt_prop [in not_elt_prop]
WDecideOn.MSetDecideAuxiliary.Subset_MSet_Prop [in Subset_MSet_Prop]
WDecideOn.MSetDecideAuxiliary.True_elt_prop [in True_elt_prop]
WDecide_fun.FSetDecideAuxiliary.conj_elt_prop [in conj_elt_prop]
WDecide_fun.FSetDecideAuxiliary.disj_elt_prop [in disj_elt_prop]
WDecide_fun.FSetDecideAuxiliary.Subset_FSet_Prop [in Subset_FSet_Prop]
WDecide_fun.FSetDecideAuxiliary.not_elt_prop [in not_elt_prop]
WDecide_fun.FSetDecideAuxiliary.eq_elt_prop [in eq_elt_prop]
WDecide_fun.FSetDecideAuxiliary.impl_elt_prop [in impl_elt_prop]
WDecide_fun.FSetDecideAuxiliary.Empty_FSet_Prop [in Empty_FSet_Prop]
WDecide_fun.FSetDecideAuxiliary.True_elt_prop [in True_elt_prop]
WDecide_fun.FSetDecideAuxiliary.Equal_FSet_Prop [in Equal_FSet_Prop]
WDecide_fun.FSetDecideAuxiliary.elt_FSet_Prop [in elt_FSet_Prop]
WDecide_fun.FSetDecideAuxiliary.eq_Prop [in eq_Prop]
WDecide_fun.FSetDecideAuxiliary.In_elt_prop [in In_elt_prop]
WDecide_fun.FSetDecideAuxiliary.False_elt_prop [in False_elt_prop]
WRawSets.ok [in ok]
WRaw2SetsOn.Mkt [in Mkt]
WW [in WW]
W0 [in W0]