Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-21 19:30:50 -0800 (Sun, 21 Dec 2003)
Revision: 5202
Log message:

      intro-resource for type(ext_equal) didn't work (as far as I can tell).
      

Changes	Path
+3 -4	metaprl/theories/itt/itt_ext_equal.ml