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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 709 - (view) (download) (as text)

1 : lamonts 709 %!TEX root = semantics.tex
2 :     %
3 :     \usepackage{times}
4 :    
5 :     \usepackage{proof}
6 :     \usepackage{amsmath}
7 :     \usepackage{amsfonts}
8 :    
9 :    
10 :    
11 :     \newcommand{\point}{\textbullet~}
12 :    
13 :    
14 :     % Inference Rules
15 :     \newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}
16 :     \newcommand{\ExpEval}[3] { %
17 :     \begin{displaymath} #1 \vdash #2 \downarrow #3 \end{displaymath}}
18 :    
19 :     %\necommand{

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