equal
deleted
inserted
replaced
35 |
35 |
36 thm_maps |
36 thm_maps |
37 "bool_case_thm" > "HOL4Base.bool.bool_case_thm" |
37 "bool_case_thm" > "HOL4Base.bool.bool_case_thm" |
38 "bool_case_ID" > "HOL4Base.bool.bool_case_ID" |
38 "bool_case_ID" > "HOL4Base.bool.bool_case_ID" |
39 "bool_case_DEF" > "HOL4Compat.bool_case_DEF" |
39 "bool_case_DEF" > "HOL4Compat.bool_case_DEF" |
40 "bool_INDUCT" > "Datatype.bool.induct_correctness" |
40 "bool_INDUCT" > "Datatype.bool.induct" |
41 "boolAxiom" > "HOL4Base.bool.boolAxiom" |
41 "boolAxiom" > "HOL4Base.bool.boolAxiom" |
42 "UNWIND_THM2" > "HOL.simp_thms_39" |
42 "UNWIND_THM2" > "HOL.simp_thms_39" |
43 "UNWIND_THM1" > "HOL.simp_thms_40" |
43 "UNWIND_THM1" > "HOL.simp_thms_40" |
44 "UNWIND_FORALL_THM2" > "HOL.simp_thms_41" |
44 "UNWIND_FORALL_THM2" > "HOL.simp_thms_41" |
45 "UNWIND_FORALL_THM1" > "HOL.simp_thms_42" |
45 "UNWIND_FORALL_THM1" > "HOL.simp_thms_42" |