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

