list_1 Theory

Summary of Definitions

Typed Definitions

null *1 *2

append *5

length *8 *3

map *6

hd *4

tl *2

nth_tl *18

select *6

reject *18

reduce *10

for *1

mapcons *6

for_hdtl *1

listify *14

list_n *2

mapc *10

Main Theorems

cons_neq_nil *5

assert_of_null *5

append_assoc *6

append_back_nil *4

length_cons *2

length_nil *1

length_of_not_nil *5

non_neg_length *4

pos_length *4

length_append *3

length_of_null_list *2

map_length *5

map_map *4

map_append *4

map_id *4

length_tl *8

length_nth_tl *18

eq_cons_imp_eq_tls *3

eq_cons_imp_eq_hds *6

select_cons_hd *5

select_cons_tl *7

select_append_back *7

select_append_front *11

reject_cons_hd *6

reject_cons_tl *6

map_select *11

listify_length *10

listify_select_id *17

select_listify_id *16

list_append_ind *4