2 commits

Author	SHA1	Message	Date
Jeremy Avigad	c89c96b913	feat(library/standard/list.lean): add facts about lists	2014-08-01 09:11:51 -07:00
Jeremy Avigad	09d5d074ec	feat(library/standard/list.lean): begin to port lists from lean 0.1	2014-08-01 09:11:51 -07:00