#!/bin/sh

$1 < theories/src/mk_lib_pc_logic.sml
$1 < theories/src/mk_lib_tc_logic.sml
$1 < theories/src/mk_lib_dijkstra.sml


