Initial commit.

1 files changed, 30 insertions, 0 deletions

diff --git a/ic-reals-6.3/doc/manual/manual.aux b/ic-reals-6.3/doc/manual/manual.aux
new file mode 100644
index 0000000..3514aca
--- /dev/null
+++ b/ic-reals-6.3/doc/manual/manual.aux
@@ -0,0 +1,30 @@
+\relax 
+\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {2}Copyright}{2}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {3}Installation}{2}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4}Using the library}{3}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5}Types}{3}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {6}Arithmetic}{4}{}\protected@file@percent }
+\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Primitive arithmetic functions}}{4}{}\protected@file@percent }
+\newlabel{arith-table}{{1}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {7}Special functions}{5}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {8}Forcing, printing and conversion}{6}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {9}Predicates, Boolean operations and conditionals}{8}{}\protected@file@percent }
+\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Predicates on reals}}{8}{}\protected@file@percent }
+\newlabel{pred}{{2}{8}}
+\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Boolean operators}}{9}{}\protected@file@percent }
+\newlabel{Bool-Ops}{{3}{9}}
+\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Action of the predicate \texttt  {gtEq{\_}R{\_}0}}}{9}{}\protected@file@percent }
+\newlabel{Truth-values}{{4}{9}}
+\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Action of the Boolean operators}}{10}{}\protected@file@percent }
+\newlabel{op-action}{{5}{10}}
+\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Example of conditional with delays.}}{12}{}\protected@file@percent }
+\newlabel{fig:conditionals}{{1}{12}}
+\@writefile{toc}{\contentsline {section}{\numberline {10}Extracting digits following forcing}{13}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {11}Environment variables}{13}{}\protected@file@percent }
+\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Taking digits one-by-one.}}{14}{}\protected@file@percent }
+\newlabel{fig:digits-info}{{2}{14}}
+\@writefile{toc}{\contentsline {section}{\numberline {12}The daVinci interface}{15}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {13}Compilation flags}{16}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {14}Problems}{16}{}\protected@file@percent }
+\gdef \@abspage@last{16}