#!/bin/sh
find $coqtop -name "*.ml" -exec grep -n "$1" {} \; -print

