%% $Id: .ozrc,v 1.1 2007/10/17 17:37:36 leavens Exp leavens $
%% Gary T. Leavens's .ozrc file
%%
%% This file relies on a directory ($HOME/.oz) being in my OZPATH
%% environment variable that contains the files inserted below.
%% It also relies on the OZ_DOTOZ environment variable being defined
%% to be $HOME/.oz (for Assert.oz and Test.oz)

%% From the CTM Supplements web site
%% http://www.info.ucl.ac.be/~pvr/ds/mitbook.html
%%
\insert 'booksuppl.oz'

%% From the COP 4020 library
%% http://www.eecs.ucf.edu/~leavens/COP4020/lib/
%%
%\insert 'Test.oz'
%\insert 'Assert.oz'
\insert 'TestingNoStop.oz'