src/HOL/Unix/document/root.tex
 author wenzelm Sun Oct 21 19:42:24 2001 +0200 (2001-10-21) changeset 11862 03801fd2f8fc parent 11102 5ceaa79c220d child 13381 60bc63b13857 permissions -rw-r--r--
improved spacing;