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



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


ViewVC Help
Powered by ViewVC 1.0.0