List Index

Tobias Nipkow 🌐

February 20, 2010

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


Theories of List-Index