Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-02-02 10:19:32 -0800 (Wed, 02 Feb 2000)
Revision: 2880
Log message:

      *** empty log message ***
      

Changes	Path
+3 -1	metaprl/refiner/reflib/Files
Added	metaprl/refiner/reflib/jall.ml
Properties	metaprl/refiner/reflib/jall.ml
Added	metaprl/refiner/reflib/jall.mli
Properties	metaprl/refiner/reflib/jall.mli
Added	metaprl/refiner/reflib/jlogic_sig.ml
Properties	metaprl/refiner/reflib/jlogic_sig.ml
+21 -0	metaprl/theories/itt/itt_logic.ml
+7 -0	metaprl/theories/itt/itt_logic.mli