echo -------  grep ablorder
cd ablorder;
grep $1 *.c
grep $1 *.h
echo -------  grep bddorder
cd ../bddorder;
grep $1 *.c
grep $1 *.h
echo -------  grep carac
cd ../carac;
grep $1 *.c
grep $1 *.h
echo -------  grep carac4
cd ../carac4;
grep $1 *.c
grep $1 *.h
echo -------  grep cccc
cd ../cccc;
grep $1 *.c
grep $1 *.h
echo -------  grep compil
cd ../compil;
grep $1 *.c
grep $1 *.h
echo -------  grep decomp
cd ../decomp;
grep $1 *.c
grep $1 *.h
echo ------  grep facto
cd ../facto; 
grep $1 *.c
grep $1 *.h
echo -------  grep mapping
cd ../mapping;
grep $1 *.c
grep $1 *.h
echo -------  grep mbk
cd ../mbk;
grep $1 *.c
grep $1 *.h
echo -------  grep menu
cd ../menu;
grep $1 *.c
grep $1 *.h
echo -------  grep param
cd ../param;
grep $1 *.c
grep $1 *.h
echo -------  grep prepar
cd ../prepar;
grep $1 *.c
grep $1 *.h
echo -------  grep proof
cd ../proof;
grep $1 *.c
grep $1 *.h
echo -------  grep synthe
cd ../synthe;
grep $1 *.c
grep $1 *.h
