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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 709, Wed Mar 30 16:55:10 2011 UTC revision 715, Thu Mar 31 14:58:53 2011 UTC
# Line 7  Line 7 
7  \usepackage{amsfonts}  \usepackage{amsfonts}
8    
9    
10    % bullet point
11  \newcommand{\point}{\textbullet~}  \newcommand{\point}{\textbullet~}
12    
13    % underscore
14    \newcommand{\US}{\char`\_}
15    
16  % Inference Rules  % Inference Rules
17  \newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}  \newcommand{\INFER}[2]{\begin{array}{c}\infer{#1}{#2}\end{array}}
18    
19    % Expression Inference Rule
20  \newcommand{\ExpEval}[3] { %  \newcommand{\ExpEval}[3] { %
21           \begin{displaymath} #1 \vdash #2  \downarrow #3 \end{displaymath}}           \begin{displaymath}
22                                    #1 \vdash #2  \downarrow #3
23            \end{displaymath}}
24    
25    
26    % Update Inference Rule
27    \newcommand{\UpdateEval}[3]{ %
28            \begin{displaymath}
29                    \vspace{12pt}
30                    \INFER{\text{(#1,id,env) + } \Gamma) \vdash c \Downarrow #2}{#3}
31            \end{displaymath}}
32    
33    % Command Inference Rule
34    \newcommand{\CommEval}[3]{ %
35            \begin{displaymath}
36                       \vspace{12pt}
37                            \INFER {\text{ (s,id,env) + }  \Gamma)  \vdash   #1 \Downarrow #2} {#3}
38            \end{displaymath}}
39    
 %\necommand{  

Legend:
Removed from v.709  
changed lines
  Added in v.715

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