Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /trunk/doc/semantics/defs.tex
ViewVC logotype

View of /trunk/doc/semantics/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 709 - (download) (as text) (annotate)
Wed Mar 30 16:55:10 2011 UTC (10 years, 8 months ago) by lamonts
File size: 346 byte(s)
Adding defs.text
%!TEX root = semantics.tex
%
\usepackage{times}

\usepackage{proof}
\usepackage{amsmath}
\usepackage{amsfonts}



\newcommand{\point}{\textbullet~}


% Inference Rules 
\newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}
\newcommand{\ExpEval}[3] { %
	 \begin{displaymath} #1 \vdash #2  \downarrow #3 \end{displaymath}}

%\necommand{

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0