1.1 --- a/src/Doc/isac/mat-eng-de.lot Mon Sep 16 12:27:20 2013 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,12 +0,0 @@
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}