src/HOL/Isar_examples/document/root.tex
changeset 10257 21055ac27708
parent 10146 e89309dde9d3
child 12105 1e4451999200
     1.1 --- a/src/HOL/Isar_examples/document/root.tex	Wed Oct 18 23:35:08 2000 +0200
     1.2 +++ b/src/HOL/Isar_examples/document/root.tex	Wed Oct 18 23:35:56 2000 +0200
     1.3 @@ -31,10 +31,6 @@
     1.4  \input{Summation.tex}
     1.5  \input{KnasterTarski.tex}
     1.6  \input{MutilatedCheckerboard.tex}
     1.7 -%\input{Multiset0.tex}
     1.8 -%\input{Acc.tex}
     1.9 -%\input{Multiset.tex}
    1.10 -\input{MultisetOrder.tex}
    1.11  %\input{Maybe.tex}
    1.12  %\input{Type.tex}
    1.13  \input{W_correct.tex}