complete_induction.con.body.xml
complete_induction.con.types.xml
course_of_values.con.body.xml
course_of_values.con.types.xml
le_split.con.body.xml
le_split.con.types.xml
lt_hereditary.con.body.xml
lt_hereditary.con.types.xml
nat_wf_ind.con.body.xml
nat_wf_ind.con.types.xml