src/CCL/CCL.thy
changeset 46503 186f4cab2ba0
parent 42814 5af15f1e2ef6
child 47966 b8a94ed1646e
equal deleted inserted replaced
46502:3d43d4d4d071 46503:186f4cab2ba0