Index of /home/lego/html/release-1.3

      Name                    Last modified      Size  Description
      library/                1998-06-15 16:08    -   
      elim_rel.html           1998-06-23 16:18  2.8K  
      infix.html              1998-06-23 16:22  2.4K  
      assumption.html         1998-06-23 16:23  2.3K  
      config_eq.html          1998-06-23 16:24  2.5K  
      induction.html          1998-06-23 16:24  3.6K  
      inversion.html          1998-06-23 16:30  4.1K  
      qnify.html              1998-06-23 16:34  6.0K  
      patterns.html           1998-06-23 16:36  1.6K  
      objectcomp/             1998-06-23 16:41    -   
      then.html               1998-06-23 16:43  4.0K  
      theorems.html           1998-06-23 16:44  4.1K  
      utac.html               1998-06-23 16:46  2.7K  
      newfeatures.html        1998-06-23 16:49  2.5K  
      knownbugs.html          1998-10-24 12:52  3.2K  
      refcard.ps.gz           1998-11-11 12:15   94K  
      official.html           1999-08-19 16:29  4.4K