Ignore:
Timestamp:
Oct 20, 2011, 3:32:03 PM (8 years ago)
Author:
mulligan
Message:

finished d4.3 report

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.2-4.3/reports/D4-2.tex

    r1420 r1428  
    547547We list some important functions and axioms in the backend compilation:
    548548
    549 \paragraph{From RTL/RTLabsToRTL.ma}
     549\paragraph{From RTLabs/RTLabsToRTL.ma}
    550550\begin{center}
    551551\begin{tabular*}{0.9\textwidth}{p{5cm}p{8cm}}
Note: See TracChangeset for help on using the changeset viewer.