List_Prefix.thy
changeset 7 f27882976251
parent 1 7d9c0ed02b56
equal deleted inserted replaced
6:8779d321cc2e 7:f27882976251