W (axiom)
WOps.t [in t]
WRawSets.add_spec [in add_spec]
WRawSets.cardinal_spec [in cardinal_spec]
WRawSets.choose_spec2 [in choose_spec2]
WRawSets.choose_spec1 [in choose_spec1]
WRawSets.diff_spec [in diff_spec]
WRawSets.elements_spec2w [in elements_spec2w]
WRawSets.elements_spec1 [in elements_spec1]
WRawSets.empty_spec [in empty_spec]
WRawSets.equal_spec [in equal_spec]
WRawSets.exists_spec [in exists_spec]
WRawSets.filter_spec [in filter_spec]
WRawSets.fold_spec [in fold_spec]
WRawSets.for_all_spec [in for_all_spec]
WRawSets.In [in In]
WRawSets.inter_spec [in inter_spec]
WRawSets.IsOk [in IsOk]
WRawSets.isok [in isok]
WRawSets.is_empty_spec [in is_empty_spec]
WRawSets.mem_spec [in mem_spec]
WRawSets.partition_spec2 [in partition_spec2]
WRawSets.partition_spec1 [in partition_spec1]
WRawSets.remove_spec [in remove_spec]
WRawSets.singleton_spec [in singleton_spec]
WRawSets.subset_spec [in subset_spec]
WRawSets.union_spec [in union_spec]
WSetsOn.add_spec [in add_spec]
WSetsOn.cardinal_spec [in cardinal_spec]
WSetsOn.choose_spec2 [in choose_spec2]
WSetsOn.choose_spec1 [in choose_spec1]
WSetsOn.diff_spec [in diff_spec]
WSetsOn.elements_spec2w [in elements_spec2w]
WSetsOn.elements_spec1 [in elements_spec1]
WSetsOn.empty_spec [in empty_spec]
WSetsOn.equal_spec [in equal_spec]
WSetsOn.exists_spec [in exists_spec]
WSetsOn.filter_spec [in filter_spec]
WSetsOn.fold_spec [in fold_spec]
WSetsOn.for_all_spec [in for_all_spec]
WSetsOn.In [in In]
WSetsOn.inter_spec [in inter_spec]
WSetsOn.is_empty_spec [in is_empty_spec]
WSetsOn.mem_spec [in mem_spec]
WSetsOn.partition_spec2 [in partition_spec2]
WSetsOn.partition_spec1 [in partition_spec1]
WSetsOn.remove_spec [in remove_spec]
WSetsOn.singleton_spec [in singleton_spec]
WSetsOn.subset_spec [in subset_spec]
WSetsOn.union_spec [in union_spec]
WSfun.add [in add]
WSfun.add [in add]
WSfun.add_1 [in add_1]
WSfun.add_1 [in add_1]
WSfun.add_2 [in add_2]
WSfun.add_2 [in add_2]
WSfun.add_3 [in add_3]
WSfun.add_3 [in add_3]
WSfun.cardinal [in cardinal]
WSfun.cardinal [in cardinal]
WSfun.cardinal_1 [in cardinal_1]
WSfun.cardinal_1 [in cardinal_1]
WSfun.choose [in choose]
WSfun.choose_1 [in choose_1]
WSfun.choose_2 [in choose_2]
WSfun.diff [in diff]
WSfun.diff_2 [in diff_2]
WSfun.diff_1 [in diff_1]
WSfun.diff_3 [in diff_3]
WSfun.elements [in elements]
WSfun.elements [in elements]
WSfun.elements_3w [in elements_3w]
WSfun.elements_3w [in elements_3w]
WSfun.elements_1 [in elements_1]
WSfun.elements_1 [in elements_1]
WSfun.elements_2 [in elements_2]
WSfun.elements_2 [in elements_2]
WSfun.empty [in empty]
WSfun.empty [in empty]
WSfun.empty_1 [in empty_1]
WSfun.empty_1 [in empty_1]
WSfun.equal [in equal]
WSfun.equal [in equal]
WSfun.equal_2 [in equal_2]
WSfun.equal_2 [in equal_2]
WSfun.equal_1 [in equal_1]
WSfun.equal_1 [in equal_1]
WSfun.eq_refl [in eq_refl]
WSfun.eq_sym [in eq_sym]
WSfun.eq_trans [in eq_trans]
WSfun.eq_dec [in eq_dec]
WSfun.exists_1 [in exists_1]
WSfun.exists_ [in exists_]
WSfun.exists_2 [in exists_2]
WSfun.filter [in filter]
WSfun.filter_1 [in filter_1]
WSfun.filter_3 [in filter_3]
WSfun.filter_2 [in filter_2]
WSfun.find [in find]
WSfun.find_2 [in find_2]
WSfun.find_1 [in find_1]
WSfun.fold [in fold]
WSfun.fold [in fold]
WSfun.fold_1 [in fold_1]
WSfun.fold_1 [in fold_1]
WSfun.for_all_1 [in for_all_1]
WSfun.for_all_2 [in for_all_2]
WSfun.for_all [in for_all]
WSfun.In [in In]
WSfun.inter [in inter]
WSfun.inter_3 [in inter_3]
WSfun.inter_2 [in inter_2]
WSfun.inter_1 [in inter_1]
WSfun.In_1 [in In_1]
WSfun.is_empty_1 [in is_empty_1]
WSfun.is_empty_1 [in is_empty_1]
WSfun.is_empty [in is_empty]
WSfun.is_empty [in is_empty]
WSfun.is_empty_2 [in is_empty_2]
WSfun.is_empty_2 [in is_empty_2]
WSfun.map [in map]
WSfun.mapi [in mapi]
WSfun.mapi_2 [in mapi_2]
WSfun.mapi_1 [in mapi_1]
WSfun.MapsTo [in MapsTo]
WSfun.MapsTo_1 [in MapsTo_1]
WSfun.map_1 [in map_1]
WSfun.map_2 [in map_2]
WSfun.map2 [in map2]
WSfun.map2_2 [in map2_2]
WSfun.map2_1 [in map2_1]
WSfun.mem [in mem]
WSfun.mem [in mem]
WSfun.mem_1 [in mem_1]
WSfun.mem_1 [in mem_1]
WSfun.mem_2 [in mem_2]
WSfun.mem_2 [in mem_2]
WSfun.partition [in partition]
WSfun.partition_1 [in partition_1]
WSfun.partition_2 [in partition_2]
WSfun.remove [in remove]
WSfun.remove [in remove]
WSfun.remove_2 [in remove_2]
WSfun.remove_2 [in remove_2]
WSfun.remove_1 [in remove_1]
WSfun.remove_1 [in remove_1]
WSfun.remove_3 [in remove_3]
WSfun.remove_3 [in remove_3]
WSfun.singleton [in singleton]
WSfun.singleton_1 [in singleton_1]
WSfun.singleton_2 [in singleton_2]
WSfun.subset [in subset]
WSfun.subset_2 [in subset_2]
WSfun.subset_1 [in subset_1]
WSfun.t [in t]
WSfun.t [in t]
WSfun.union [in union]
WSfun.union_1 [in union_1]
WSfun.union_2 [in union_2]
WSfun.union_3 [in union_3]