-SRC= apply.ma auto.ma baseuri.ma coercions.ma comments.ma first.ma fguidi.ma\
- fix_betareduction.ma fold.ma inversion.ma letrec.ma match_inference.ma\
- mysql_escaping.ma record.ma replace.ma rewrite.ma second.ma simpl.ma\
- test2.ma test3.ma test4.ma third.ma