#!/bin/sh

# Look for name-clashes in REDUCE

./slowr37 -v -Dno_init_file ../util/clash.red -- log/clash.log


