/doc/ Root_ML_test
drwxr-xr-x [up]
drwxr-xr-x bib
drwxr-xr-x fig
drwxr-xr-x gradischnegg
drwxr-xr-x griesmayer
drwxr-xr-x hochreiter
drwxr-xr-x krempler
drwxr-xr-x listings
-rwxr-xr-x 2005-06-28 13:14 +0200 129 CLEANUP
-rwxr-xr-x 2005-06-28 13:14 +0200 715 LATEX
-rw-r--r-- 2005-06-28 13:14 +0200 110187 add-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1260 add.tex
-rw-r--r-- 2005-06-28 13:14 +0200 4656 appendices-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1122 appendices.tex
-rw-r--r-- 2005-06-28 13:14 +0200 580 common.tex
-rw-r--r-- 2005-06-28 13:14 +0200 14177 expl-for-ref.tex
-rw-r--r-- 2005-06-28 13:14 +0200 817 isac-docu.tex
-rwxr-xr-x 2005-06-28 13:14 +0200 7628 java-sml.tex
-rwxr-xr-x 2005-06-28 13:14 +0200 9610 mat-eng.sml
-rwxr-xr-x 2005-06-28 13:14 +0200 80883 mat-eng.tex
-rw-r--r-- 2005-06-28 13:14 +0200 2233 preamble.tex
-rw-r--r-- 2005-06-28 13:14 +0200 83999 sdd-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1773 sdd.tex
-rw-r--r-- 2005-06-28 13:14 +0200 24531 srd-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1097 srd.tex
-rwxr-xr-x 2005-06-28 13:14 +0200 3297 tactics.tex
-rw-r--r-- 2005-06-28 13:14 +0200 13343 terms.tex
-rw-r--r-- 2005-06-28 13:14 +0200 64526 urd-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1234 urd.tex
-rw-r--r-- 2005-06-28 13:14 +0200 83013 use-content.tex
-rw-r--r-- 2005-06-28 13:14 +0200 1268 use.tex