Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-06-09 18:10:41 -0700 (Fri, 09 Jun 2000)
Revision: 3011
Log message:

      
      Overview documentation and literatur citations, Bye guys :)
      

Changes	Path
+224 -3	metaprl/refiner/reflib/jall.mli