doc-src/isac/akargl/ferialprakt.tex
branchdecompose-isar
changeset 42095 245b3109fed6
parent 42091 3dac3da9b70a
child 42108 23b6b0033454
     1.1 --- a/doc-src/isac/akargl/ferialprakt.tex	Fri Jul 15 16:55:47 2011 +0200
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Mon Jul 18 09:31:58 2011 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4   & Einf\"uhrung ML/\sisac\  IV & 1.0 \\
     1.5   & ML- Programmierung & 2.5 \\
     1.6   & Einf\"uhrung ML/\sisac\  V & 1.0 \\
     1.7 - & ML- Programmierung & 3.0 \\
     1.8 + & ML- Programmierung & 3.0 \\ \hline
     1.9   & & \\
    1.10  \end{tabular}
    1.11  \end{center}