#!/bin/sh

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