#!/bin/sh

$1 < theories/src/mk_lib.sml
