equal
deleted
inserted
replaced
265 "ZCONSTR" > "HOLLight.hollight.ZCONSTR" |
265 "ZCONSTR" > "HOLLight.hollight.ZCONSTR" |
266 "ZBOT" > "HOLLight.hollight.ZBOT" |
266 "ZBOT" > "HOLLight.hollight.ZBOT" |
267 "WF" > "Wellfounded.wfP" |
267 "WF" > "Wellfounded.wfP" |
268 "UNIV" > "Orderings.top_class.top" :: "'a => bool" |
268 "UNIV" > "Orderings.top_class.top" :: "'a => bool" |
269 "UNIONS" > "Complete_Lattice.Sup_class.Sup" :: "(('a => bool) => bool) => 'a => bool" |
269 "UNIONS" > "Complete_Lattice.Sup_class.Sup" :: "(('a => bool) => bool) => 'a => bool" |
270 "UNION" > "Lattices.semilattice_sup_class.sup" :: "('a => bool) => ('a => bool) => 'a => bool" |
270 "UNION" > "Lattices.sup_class.sup" :: "('a => bool) => ('a => bool) => 'a => bool" |
271 "UNCURRY" > "HOLLight.hollight.UNCURRY" |
271 "UNCURRY" > "HOLLight.hollight.UNCURRY" |
272 "TL" > "List.tl" |
272 "TL" > "List.tl" |
273 "T" > "HOL.True" |
273 "T" > "HOL.True" |
274 "SURJ" > "HOLLight.hollight.SURJ" |
274 "SURJ" > "HOLLight.hollight.SURJ" |
275 "SUC" > "Nat.Suc" |
275 "SUC" > "Nat.Suc" |
315 "ITSET" > "HOLLight.hollight.ITSET" |
315 "ITSET" > "HOLLight.hollight.ITSET" |
316 "ITLIST2" > "HOLLightList.fold2" |
316 "ITLIST2" > "HOLLightList.fold2" |
317 "ITLIST" > "List.foldr" |
317 "ITLIST" > "List.foldr" |
318 "ISO" > "HOLLight.hollight.ISO" |
318 "ISO" > "HOLLight.hollight.ISO" |
319 "INTERS" > "Complete_Lattice.Inf_class.Inf" :: "(('a => bool) => bool) => 'a => bool" |
319 "INTERS" > "Complete_Lattice.Inf_class.Inf" :: "(('a => bool) => bool) => 'a => bool" |
320 "INTER" > "Lattices.semilattice_inf_class.inf" :: "('a => bool) => ('a => bool) => 'a => bool" |
320 "INTER" > "Lattices.inf_class.inf" :: "('a => bool) => ('a => bool) => 'a => bool" |
321 "INSERT" > "Set.insert" |
321 "INSERT" > "Set.insert" |
322 "INR" > "Sum_Type.Inr" |
322 "INR" > "Sum_Type.Inr" |
323 "INL" > "Sum_Type.Inl" |
323 "INL" > "Sum_Type.Inl" |
324 "INJP" > "HOLLight.hollight.INJP" |
324 "INJP" > "HOLLight.hollight.INJP" |
325 "INJN" > "HOLLight.hollight.INJN" |
325 "INJN" > "HOLLight.hollight.INJN" |