doc-src/TutorialI/Trie/document/root.tex
author paulson
Mon, 25 Jun 2001 15:35:59 +0200
changeset 11377 0f16ad464c62
parent 8745 13b32661dde4
permissions -rw-r--r--
Simprocs for type "nat" no longer introduce numerals unless they are already present in the expression, and in a coefficient position (i.e. as a factor of a monomial).
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8745
13b32661dde4 I wonder which files i forgot.
nipkow
parents:
diff changeset
     1
\documentclass{article}
13b32661dde4 I wonder which files i forgot.
nipkow
parents:
diff changeset
     2
\begin{document}
13b32661dde4 I wonder which files i forgot.
nipkow
parents:
diff changeset
     3
xxx
13b32661dde4 I wonder which files i forgot.
nipkow
parents:
diff changeset
     4
\end{document}