Index of /~mlee1/knowledge/prolog

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 :w                      01-Feb-2006 10:33  1.6K  
 Cauchy.html.xml         24-Jan-2006 09:29  3.4M  
 Erdos.html.xml          12-Jan-2006 21:06  3.1M  
 Euclid.html.xml         12-Jan-2006 21:06  4.1M  
 Euler.html.xml          12-Jan-2006 21:06  6.5M  
 Euler.html.xml.facts    25-Jan-2006 10:54  252K  
 Fermat.html_Mathemat..> 25-Jan-2006 10:38  133K  
 Galois.html.xml         12-Jan-2006 21:06  3.0M  
 Galois.html.xml.facts   25-Jan-2006 10:52  127K  
 Gauss.html.xml          12-Jan-2006 21:06  3.3M  
 aaaa                    23-Jan-2006 14:45  211K  
 build.P                 01-Feb-2006 10:34  1.2K  
 build.xwam              23-Jan-2006 21:57  1.7K  
 daml.daml               11-Nov-2005 13:24   10K  
 docframes.P             01-Feb-2006 10:33  1.4K  
 docframes.xwam          26-Jan-2006 00:54  1.7K  
 extract.P               12-Jan-2006 21:24  1.8K  
 extract.xwam            30-Nov-2005 13:49  2.4K  
 father.P                30-Nov-2005 11:27  263   
 father.xwam             30-Nov-2005 11:27  461   
 found_it.P              12-Jan-2006 21:06  280   
 found_it.xwam           30-Nov-2005 11:28  503   
 frames.P                23-Jan-2006 10:19  358   
 frames.xwam             30-Nov-2005 11:25  617   
 gahh                    23-Jan-2006 14:45  2.7M  
 grah                    23-Jan-2006 15:46  211K  
 is_a.P                  12-Jan-2006 21:48  218   
 is_a.xwam               11-Nov-2005 11:13  534   
 it                      23-Jan-2006 21:42  211K  
 kb.P                    13-Jan-2006 01:09   65K  
 main.xwam               13-Jan-2006 10:48  1.1K  
 mother.P                30-Nov-2005 11:32  263   
 mother.xwam             30-Nov-2005 11:32  461   
 out.txt                 20-Jan-2006 17:31  211K  
 protagonist.P           30-Nov-2005 11:25  514   
 protagonist.xwam        30-Nov-2005 11:25  1.0K  
 rawr                    23-Jan-2006 14:45  909K  
 stuff                   23-Jan-2006 14:45  211K  
 thing                   24-Jan-2006 09:29  1.2K  
 thing.P                 13-Jan-2006 16:42  1.8K  
 things                  23-Jan-2006 20:02  273K  
 transform-back.P        13-Jan-2006 13:07  4.7K  
 transform.P             01-Feb-2006 10:38  2.8K  
 transform.xwam          23-Jan-2006 14:21  2.6K  
 tree                    23-Jan-2006 10:36  273K  
 wahh                    23-Jan-2006 14:45  211K  
 writefacts.P            25-Jan-2006 10:56  682   
 writefacts.xwam         25-Jan-2006 10:52  835   
 x.log                   23-Jan-2006 11:57  1.0K