Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2004-04-24 00:08:07 -0700 (Sat, 24 Apr 2004)
Revision: 5712
Log message:

      print_symbol didn't seem to be defined anymore (meaning the module
      didn't compile for me), so I changed the occurances to output_symbol,
      which seems to work/be consistent with recent changes.
      

Changes  Path
+3 -3 metaprl/theories/itt/itt_logic.ml