List Index

Tobias Nipkow 🌐

February 20, 2010

Abstract

This theory provides functions for finding the index of an element in a list, by predicate and by value.
BSD License

Topics

Theories of List-Index