src/HOL/Hoare/List_Examples.thy
changeset 1824 44254696843a
parent 1363 7bdc4699ef4d
equal deleted inserted replaced
1823:e1458e1a9f80 1824:44254696843a