1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/mat-eng-de.lot	Thu Aug 12 11:02:32 2010 +0200
     1.3 @@ -0,0 +1,12 @@
     1.4 +\addvspace {10\p@ }
     1.5 +\addvspace {10\p@ }
     1.6 +\addvspace {10\p@ }
     1.7 +\addvspace {10\p@ }
     1.8 +\addvspace {10\p@ }
     1.9 +\addvspace {10\p@ }
    1.10 +\addvspace {10\p@ }
    1.11 +\addvspace {10\p@ }
    1.12 +\contentsline {table}{\numberline {8.1}{\ignorespaces Kleinste Teilchen des KB}}{37}
    1.13 +\contentsline {table}{\numberline {8.2}{\ignorespaces Welche tactics verwenden die Teile des KB\nobreakspace {}?}}{38}
    1.14 +\contentsline {table}{\numberline {8.3}{\ignorespaces theory von der ersten Version von ${\cal I}\mkern -2mu{\cal S}\mkern -5mu{\cal AC}$}}{39}
    1.15 +\contentsline {table}{\numberline {8.4}{\ignorespaces Daten in {\tt *.thy}- und {\tt *.ML}-files}}{40}