Index of books/data-structures

Files

• alist-defthms
• alist-defuns
• alist-theory
• array1
• defalist
• deflist
• list-defthms
• list-defuns
• list-theory
• no-duplicates
• number-list-defthms
• number-list-defuns
• number-list-theory
• portcullis
• set-defthms
• set-defuns
• set-theory
• structures
• top
• utilities