Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Locales/Locales/document/session.tex
changeset 32983 a6914429005b
parent 32981 0114e04a0d64 
--- a/doc-src/Locales/Locales/document/session.tex	Thu Oct 15 22:22:08 2009 +0200
+++ b/doc-src/Locales/Locales/document/session.tex	Sat Oct 17 22:58:18 2009 +0200
@@ -1,11 +1,3 @@
-\input{Primes.tex}
-
-\input{Cong.tex}
-
-\input{Multiset.tex}
-
-\input{UniqueFactorization.tex}
-
 \input{Examples.tex}
 
 \input{Examples1.tex}
isabelle