/agents.snlog/1.1/Tue Jun 25 20:26:35 2013//
/blackbeard1.snlog/1.1/Wed Jun 19 14:20:10 2013//
/blackbeard2.snlog/1.1/Wed Jun 19 14:21:11 2013//
/blackbeard3.snlog/1.1/Fri Jun 21 15:47:24 2013//
/chap4.snlog/1.2/Fri Aug 19 19:11:27 2011//
/duck.snlog/1.1/Fri Jun 21 15:48:11 2013//
/example1.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/example2.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/example3.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/example4.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/example5.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/freeman.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/jobspuzzle.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/meetings.snlog/1.1/Tue Jun 25 20:27:17 2013//
/pegasus.sneps/1.1.1.1/Tue May 24 17:59:36 2011//
/pegasus.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/ruleintro.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/socrates.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/sourcedMeetings.snlog/1.1/Tue Jun 25 20:27:49 2013//
/steamroller.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/theorems.out/1.1.1.1/Tue May 24 17:59:36 2011//
/theorems.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
/uvbr.snlog/1.1.1.1/Tue May 24 17:59:36 2011//
D
