#!/bin/sh

(cd theories/src; $1 < mk_set.sml)
