Attic/programs/Says.thy
changeset 270 8f2749152f1e
parent 198 2ce98ee39990
equal deleted inserted replaced
269:c4fa7e8a2ffa 270:8f2749152f1e