403f10.html 403f10.txt 403f11-1.png 403f11-1.seg 403f11-2.png 403f11-2.seg 403f11.html 403f11.txt 403f3.html 403f3.txt 403f5-1.png 403f5-1.seg 403f5-2.png 403f5-2.seg 403f5.html 403f5.txt 403m1.tex 403m11-1.png 403m11-1.seg 403m11-2.png 403m11-2.seg 403m11.html 403m11.txt 403m4-1.png 403m4-1.seg 403m4.html 403m4.txt 403m9-1.png 403m9-1.seg 403m9-2.png 403m9-2.seg 403m9-3.png 403m9-3.seg 403m9.html 403m9.txt 403w1-1.png 403w1-1.seg 403w1-1b.svg 403w1.html 403w1.html.html 403w1.nb 403w1.tex 403w1.txt 403w11.html 403w11.txt 403w1test.nb 403w2-1.png 403w2-1.seg 403w2-1.svg 403w2-2.png 403w2-2.seg 403w2-3.png 403w2-3.seg 403w2-old.html 403w2.html 403w2.txt 403w3.html 403w3.txt 403w6.html 403w6.txt 403w7-1.png 403w7-1.seg 403w7-2.png 403w7-2.seg 403w7.html 403w7.txt 9ptcirc.png 9ptcirc.seg 9ptcirc.svg Mike-readme-symbols amath-script* cd/ comment-constructions.html comment-constructions.txt comment-homework.html comment-homework.txt comment-journal.html comment-journal.txt comment-proofs.html comment-proofs.txt comment1-w2 desargues1.png desargues1.seg desargues2.png desargues2.seg desargues3.png desargues3.seg diff diff-index_1-index dilatations.html dilatations.tex dilatations.txt dilex10-1.png dilex10-1.seg dilex10.html dilex10.txt dilex3.html dilex3.txt dilex4.html dilex4.txt dilex5.html dilex5.txt dilex6.html dilex6.txt dilex7-1.png dilex7-1.seg dilex7-2.png dilex7-2.seg dilex7.html dilex7.txt dilex8.html dilex8.txt dilex9.html dilex9.txt doctormac* doctors/ edit-12jun/ edit-6jun/ edit-8jun/ edit-syms/ edit-w1/ ex1-11.html ex1-11.txt ex1-12-1.png ex1-12-1.seg ex1-12.html ex1-12.txt ex1-20.html ex1-20.txt ex1-21.html ex1-21.txt ex1-22.html ex1-22.txt ex1-23.html ex1-23.txt ex1-24.html ex1-24.txt ex4-2.html ex4-2.txt f3.html f3.txt f5-1.png f5-2.png f5.html f5.txt folder-w1/ frame.frag halfdesargues1.png halfdesargues2.png halfdesargues3.png halfpappus.png halfsize* halve* halveit* index.html index.txt index_1.html latex-symbols.png linksindex.html linksindex.txt ls-gf ls-rev40 m4.html m4.txt make-amath* matrix.html matrix.txt nav.html nav.txt nosed* nosed2* o-symbols.txt pappus.png pappus.seg persruler.png persruler.seg pictest.html pictest.txt prob1-18.html prob1-18.txt question-block question.frag readme readme-Mike readme4jun09 startall.bat startamath.bat status-help status-v38 symbXP.txt symbols-math.html symbols-math.txt symbols.html symbols.txt symbols_table.html symbols_table.txt test.bak test.html test.txt theorem.frag tight9ptcirc.png w1-1.png w1-comment.html w1-comment.txt w1.bak w1.html w1.txt w1im2.eps w1im2.svg w1im3.eps w1im3.svg w2-1.png w2-2.png w2-3.png w2.bak w2.html w2.txt w3.html w3.txt w6.txt