List_Prefix.thy
changeset 75 99af1986e1e0
parent 1 7d9c0ed02b56
equal deleted inserted replaced
74:271e9818b6f6 75:99af1986e1e0