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

