#!/bin/sh

if test -z "$THEORY_TYPE"; then THEORY_TYPE=ascii; fi

mkdir theories/$THEORY_TYPE 2>/dev/null || true
cd theories/src
#echo 'use_and_exit print_HOL_ERR "mk_window.sml";' | $*
$* < mk_window.sml
