Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 2000-03-16 15:30:08 -0800 (Thu, 16 Mar 2000)
Revision: 2923
Log message:

      moved nuprl_jlogic module to sensible place
      

Changes	Path
+18 -0	metaprl/editor/ml/nuprl_jprover.ml
+4 -1	metaprl/editor/ml/nuprl_jprover.mli
+1 -17	metaprl/theories/itt/itt_logic.ml