Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2001-03-07 05:17:36 -0800 (Wed, 07 Mar 2001)
Revision: 3177
Log message:

      sub_wf added
      

Changes  Path
+2004 -1923 metaprl/theories/itt/itt_int_base.prla