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.

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