Mark Bickford's Generic Formal Resources

mb list 2	More list stuff from Mark Bickford.
mb list 1	Filter, initial-segment, list-member, interleaving, etc. Lemmas related to map, append, cons, select.
mb nat	Material pertaining to natural numbers as opposed to integers generally.
mb basic	Basic generally useful devices.
mb tree	Binary Trees (Mark Bickford)