Isabelle/HOL Exercises Lists Searching in Lists

Isabelle/HOL Exercises. Lists. Searching in Lists. Define a function first_pos that computes the index of the first element in a list that.