path	# lines of code
theories/adequacy.v	615
theories/lang.v	84
theories/heap.v	54
theories/examples.v	308
theories/interp.v	277
theories/modality.v	134