%%
%% This is file `stex.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% stex.dtx  (with options: `package')
%% 
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{stex}[2006/01/13 v0.9a Semantic Markup]
\def\stex{{\raisebox{-.5ex}S\kern-.5ex\TeX}}
\def\sTeX{\stex}
\usepackage{modules}
\usepackage{statements}
\usepackage{sproof}
\usepackage{omdoc}
\usepackage{presentation}
\endinput
%%
%% End of file `stex.sty'.
