[/] [trunk/] [src/] [maketest/] [sources.ml] - Rev 20

(* $Id$
 * requires: smlnj-lib
 *           parse, general, lib
 *)
use "maketest/action_trans.sig";
use "maketest/actiontrans.sml";
use "maketest/clock_expression.sig";
use "maketest/clockexpression.sml";
use "maketest/clk_expr_trans.sig";
use "maketest/clkexprtrans.sml";
use "maketest/partitions.sml";
use "maketest/transition_flipper.sig";
use "maketest/transitionflipper.sml";
use "maketest/make_test.sig";
use "maketest/maketest.sml";
use "maketest/testtransflip.sml";