2 commits

Author	SHA1	Message	Date
Mario Carneiro	3b89739850	feat(library/data/list, library/data/array): theorems needed for new hash_map ... Note that hash_map is moved to library_dev, where the more advanced theorems on lists are available	2017-05-16 14:38:43 -07:00
Gabriel Ebner	867c38e1ea	feat(library/data/buffer,library/init/data/array): utility functions on buffers	2017-05-01 14:11:38 -07:00

Renamed from library/init/data/array.lean (Browse further)