src/FOL/ex/List.thy
changeset 21539 c5cf9243ad62
parent 17245 1c519a3cca59
equal deleted inserted replaced
21538:678299eac351 21539:c5cf9243ad62