http://www.tlaplus.net/ 2010-04-11T22:51:17+00:00 daily 1.0 http://www.tlaplus.net/posts/2010/02/tla-toolbox-released/ 2010-08-16T20:35:06+00:00 monthly 0.5 http://www.tlaplus.net/tools/tla-toolbox/ 2010-05-07T01:36:39+00:00 weekly 0.6 http://www.tlaplus.net/community/teaching/ 2010-04-11T20:01:07+00:00 weekly 0.6 http://www.tlaplus.net/documentation/books/ 2010-03-15T19:51:58+00:00 weekly 0.6 http://www.tlaplus.net/tools/bugs/ 2010-02-17T00:25:39+00:00 weekly 0.6 http://www.tlaplus.net/community/discussions/ 2010-02-17T00:17:41+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/coming-soon-tla-toolbox/ 2010-02-10T10:04:57+00:00 monthly 0.2 http://www.tlaplus.net/tools/tla-tools/ 2010-02-08T15:57:45+00:00 weekly 0.6 http://www.tlaplus.net/tools/ 2010-02-08T15:44:18+00:00 weekly 0.6 http://www.tlaplus.net/community/ 2010-02-08T15:35:30+00:00 weekly 0.6 http://www.tlaplus.net/documentation/publications/ 2010-02-08T15:25:36+00:00 weekly 0.6 http://www.tlaplus.net/documentation/tutorials/ 2010-02-08T15:22:33+00:00 weekly 0.6 http://www.tlaplus.net/learning/examples/ 2010-02-08T15:20:51+00:00 weekly 0.6 http://www.tlaplus.net/documentation/ 2010-02-08T15:05:42+00:00 weekly 0.6 http://www.tlaplus.net/learning/pluscal-algorithm-language/ 2010-02-08T14:26:58+00:00 weekly 0.6 http://www.tlaplus.net/learning/ 2010-02-08T14:18:29+00:00 weekly 0.6 http://www.tlaplus.net/learning/tla-specification-language/ 2010-02-08T14:14:10+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/how-to-install-tla-tools/ 2010-02-08T07:51:00+00:00 monthly 0.3 http://www.tlaplus.net/community/people/ 2010-02-07T20:10:29+00:00 weekly 0.6 http://www.tlaplus.net/community/projects/ 2010-02-07T18:59:13+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/08/tools-and-methods-for-formal-specs-and-for-proofs/ 2010-02-07T12:32:18+00:00 monthly 0.3 http://www.tlaplus.net/posts/2009/12/web-site-structure/ 2009-12-15T16:04:29+00:00 monthly 0.2 http://www.tlaplus.net/posts/2009/08/command-line-switches/ 2009-09-09T10:39:45+00:00 monthly 0.2 http://www.tlaplus.net/sitemap/ 2009-08-04T04:18:19+00:00 weekly 0.6 http://www.tlaplus.net/posts/2009/07/welcome/ 2009-07-30T06:45:40+00:00 monthly 0.2