equal
deleted
inserted
replaced
37 "MEM_NIL_MAP_CONS" > "HOL4Prob.prob_extra.MEM_NIL_MAP_CONS" |
37 "MEM_NIL_MAP_CONS" > "HOL4Prob.prob_extra.MEM_NIL_MAP_CONS" |
38 "MEM_NIL" > "HOL4Prob.prob_extra.MEM_NIL" |
38 "MEM_NIL" > "HOL4Prob.prob_extra.MEM_NIL" |
39 "MEM_FILTER" > "HOL4Prob.prob_extra.MEM_FILTER" |
39 "MEM_FILTER" > "HOL4Prob.prob_extra.MEM_FILTER" |
40 "MAP_MEM" > "HOL4Prob.prob_extra.MAP_MEM" |
40 "MAP_MEM" > "HOL4Prob.prob_extra.MAP_MEM" |
41 "MAP_ID" > "List.map_ident" |
41 "MAP_ID" > "List.map_ident" |
42 "LENGTH_FILTER" > "List.length_filter" |
42 "LENGTH_FILTER" > "List.length_filter_le" |
43 "LAST_MEM" > "HOL4Prob.prob_extra.LAST_MEM" |
43 "LAST_MEM" > "HOL4Prob.prob_extra.LAST_MEM" |
44 "LAST_MAP_CONS" > "HOL4Prob.prob_extra.LAST_MAP_CONS" |
44 "LAST_MAP_CONS" > "HOL4Prob.prob_extra.LAST_MAP_CONS" |
45 "IS_PREFIX_TRANS" > "HOL4Prob.prob_extra.IS_PREFIX_TRANS" |
45 "IS_PREFIX_TRANS" > "HOL4Prob.prob_extra.IS_PREFIX_TRANS" |
46 "IS_PREFIX_SNOC" > "HOL4Prob.prob_extra.IS_PREFIX_SNOC" |
46 "IS_PREFIX_SNOC" > "HOL4Prob.prob_extra.IS_PREFIX_SNOC" |
47 "IS_PREFIX_REFL" > "HOL4Prob.prob_extra.IS_PREFIX_REFL" |
47 "IS_PREFIX_REFL" > "HOL4Prob.prob_extra.IS_PREFIX_REFL" |