src/HOL/Hoare/List_Examples.thy
author nipkow
Wed, 22 Nov 1995 18:48:56 +0100
changeset 1363 7bdc4699ef4d
permissions -rw-r--r--
Added List_Examples

List_Examples = Hoare + List