1 (* Title: HOL/List
2 ID: $Id$
3 Author: Tobias Nipkow
4 Copyright 1994 TU Muenchen
5
6 List lemmas
7 *)
8