diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/mat-eng-de.lot
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/mat-eng-de.lot	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,12 @@
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\addvspace {10\p@ }
+\contentsline {table}{\numberline {8.1}{\ignorespaces Kleinste Teilchen des KB}}{37}
+\contentsline {table}{\numberline {8.2}{\ignorespaces Welche tactics verwenden die Teile des KB\nobreakspace {}?}}{38}
+\contentsline {table}{\numberline {8.3}{\ignorespaces theory von der ersten Version von ${\cal I}\mkern -2mu{\cal S}\mkern -5mu{\cal AC}$}}{39}
+\contentsline {table}{\numberline {8.4}{\ignorespaces Daten in {\tt *.thy}- und {\tt *.ML}-files}}{40}