$Date: 2009-12-08 17:37:55 -0500 (Tue, 08 Dec 2009) $ http://symbolaris.com/index.html 2010-02-05 weekly 1 http://symbolaris.com/pub/publications.html 2010-02-04 weekly 0.79 http://symbolaris.com/pub/bibtex.html 2010-02-04 monthly 0.4 http://symbolaris.com/pub/index.html 2009-11-28 weekly 0.79 http://symbolaris.com/logic/dL.html 2010-02-04 weekly 0.9 http://symbolaris.com/pub/dL.pdf yearly 0.88 http://symbolaris.com/pub/freedL.pdf yearly 0.89 http://symbolaris.com/pub/dL-slides.pdf yearly 0.6 http://symbolaris.com/pub/dTL.pdf yearly 0.7 http://symbolaris.com/pub/hdL.pdf yearly 0.5 http://symbolaris.com/pub/fpdi.pdf yearly 0.78 http://symbolaris.com/pub/cdifp.pdf yearly 0.8 http://symbolaris.com/pub/cdachsa.pdf yearly 0.5 http://symbolaris.com/logic/hylo.html 2010-02-04 weekly 0.5 http://symbolaris.com/logic/Diplomath.html 2009-11-28 weekly 0.5 http://symbolaris.com/logic/Diplomath.pdf yearly 0.45 http://symbolaris.com/pub/odl.pdf yearly 0.45 http://symbolaris.com/pub/odl-slides.pdf yearly 0.45 http://symbolaris.com/logic/Minoranthe.html 2009-11-28 weekly 0.4 http://symbolaris.com/logic/Minoranthe.pdf yearly 0.35 http://symbolaris.com/info/index.html 2009-11-15 weekly 0.79 http://symbolaris.com/download.html 2009-09-20 weekly 0.3 http://symbolaris.com/info/KeYmaera.html 2010-02-05 daily 1 http://symbolaris.com/info/KeYmaera.jnlp monthly 0.5 http://symbolaris.com/info/KeYmaera-download.html 2009-11-28 weekly 0.3 http://symbolaris.com/info/KeYmaera-guide.html 2010-02-04 daily 0.7 http://symbolaris.com/info/KeYmaera-FAQ.html 2009-11-15 weekly 0.5 http://symbolaris.com/pub/KeYmaera.pdf yearly 0.7 http://symbolaris.com/pub/KeYmaera-slides.pdf yearly 0.6 http://symbolaris.com/info/ETCS.html 2009-12-18 weekly 0.4 http://symbolaris.com/pub/etcs.pdf yearly 0.5 http://symbolaris.com/info/RCAS.html 2009-11-15 weekly 0.5 http://symbolaris.com/pub/RCAS.pdf yearly 0.5 http://symbolaris.com/pub/rwv.pdf yearly 0.5 http://symbolaris.com/info/amc.html 2009-11-15 weekly 0.6 http://symbolaris.com/pub/happroximation.pdf yearly 0.6 http://symbolaris.com/pub/happroximation-slides.pdf yearly 0.55 http://symbolaris.com/info/saatre.html 2009-11-15 weekly 0.4 http://symbolaris.com/pub/SAAtRe.pdf yearly 0.4 http://symbolaris.com/pub/SAAtRe-slides.pdf yearly 0.32 http://symbolaris.com/orbital/index.html 2009-11-28 weekly 0.8 http://symbolaris.com/orbital/features.html 2009-11-15 weekly 0.75 http://symbolaris.com/orbital/Orbital-doc/api/index.html weekly 0.77 http://symbolaris.com/orbital/recommendations.html 2009-04-01 weekly 0.5 http://symbolaris.com/orbital/review.html 2009-04-01 weekly 0.3 http://symbolaris.com/orbital/Orbital-doc/examples/ weekly 0.3 http://symbolaris.com/logic/jImp.html 2009-11-15 weekly 0.55 http://symbolaris.com/math/jAbr.html 2009-04-01 weekly 0.5 http://symbolaris.com/info/Synx.html 2009-11-28 weekly 0.1 http://symbolaris.com/info/Browser.html 2009-11-28 weekly 0 http://symbolaris.com/applet/index.html 2009-11-15 weekly 0.3 http://symbolaris.com/applet/seti.html 2009-09-20 weekly 0.4 http://symbolaris.com/applet/seti-Beth-2.html 2009-04-01 weekly 0.1 http://symbolaris.com/applet/seti-Beth-1.html 2009-04-01 weekly 0.1 http://symbolaris.com/applet/Seti.jnlp weekly 0.3 http://symbolaris.com/applet/Rhythmomachia.html 2009-09-20 weekly 0.4 http://symbolaris.com/applet/Rhythmomachia-help.html 2009-04-01 weekly 0.3 http://symbolaris.com/applet/Rhythmomachia2.jnlp weekly 0.3 http://symbolaris.com/math/MathPlotter.html 2009-11-15 weekly 0.2 http://symbolaris.com/math/MathPlotter.jnlp weekly 0.3 http://symbolaris.com/info/Knapsack.html 2009-04-01 weekly 0.2 http://symbolaris.com/course/index.html 2009-11-14 weekly 0.79 http://symbolaris.com/course/dcd.html 2009-11-15 weekly 0.2 http://symbolaris.com/course/dcd-schedule.html 2009-12-12 weekly 0.1 http://symbolaris.com/course/hsatp.html 2010-01-13 weekly 0.2 http://symbolaris.com/course/hsatp-schedule.html 2009-11-15 weekly 0.1 http://symbolaris.com/meta/andre.html 2010-02-04 weekly 0.95 http://symbolaris.com/feedback.html 2009-11-28 weekly 0 http://symbolaris.com/meta/about.html 2009-09-20 weekly 0.05 http://symbolaris.com/sitemap.html weekly 0.4