Changeset 1858


Ignore:
Timestamp:
Mar 15, 2012, 4:23:04 PM (8 years ago)
Author:
campbell
Message:

Minor WP3 tweak.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP3.tex

    r1852 r1858  
    5151        keywordstyle=\color{red}\bfseries,
    5252        keywordstyle=[2]\color{blue},
    53         commentstyle=\color{green},
     53        commentstyle=\color{darkgreen},
    5454        stringstyle=\color{blue},
    5555        showspaces=false,showstringspaces=false}
     
    504504\begin{lstlisting}[language=matita,basicstyle=\footnotesize\tt,escapechar=\%]
    505505let rec add_expr ... (e:expr ty)
    506    (Env:expr_vars ty e (present ?? env))
     506   (Env:expr_vars ty e (present ?? env))   %\quad%  (* invariant *)
    507507   (f:partial_fn le)
    508508 on e: $\Sigma$f':partial_fn le. fn_graph_included le f f' ≝
Note: See TracChangeset for help on using the changeset viewer.