equal
deleted
inserted
replaced
16 "measure" > "HOL4Base.prim_rec.measure" |
16 "measure" > "HOL4Base.prim_rec.measure" |
17 "SIMP_REC_REL" > "HOL4Base.prim_rec.SIMP_REC_REL" |
17 "SIMP_REC_REL" > "HOL4Base.prim_rec.SIMP_REC_REL" |
18 "PRIM_REC_FUN" > "HOL4Base.prim_rec.PRIM_REC_FUN" |
18 "PRIM_REC_FUN" > "HOL4Base.prim_rec.PRIM_REC_FUN" |
19 "PRIM_REC" > "HOL4Base.prim_rec.PRIM_REC" |
19 "PRIM_REC" > "HOL4Base.prim_rec.PRIM_REC" |
20 "PRE" > "HOL4Base.prim_rec.PRE" |
20 "PRE" > "HOL4Base.prim_rec.PRE" |
21 "<" > "Algebras.less" :: "nat => nat => bool" |
21 "<" > "Orderings.less" :: "nat => nat => bool" |
22 |
22 |
23 thm_maps |
23 thm_maps |
24 "wellfounded_primdef" > "HOL4Base.prim_rec.wellfounded_primdef" |
24 "wellfounded_primdef" > "HOL4Base.prim_rec.wellfounded_primdef" |
25 "wellfounded_def" > "HOL4Base.prim_rec.wellfounded_def" |
25 "wellfounded_def" > "HOL4Base.prim_rec.wellfounded_def" |
26 "num_Axiom_old" > "HOL4Base.prim_rec.num_Axiom_old" |
26 "num_Axiom_old" > "HOL4Base.prim_rec.num_Axiom_old" |