#!/bin/sh

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