Path	Lines of Code
theories/adequacy.v	615
theories/examples.v	308
theories/heap.v	54
theories/interp.v	277
theories/lang.v	84
theories/modality.v	134