Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-09-26 03:47:32 -0700 (Wed, 26 Sep 2001)
Revision: 3412
Log message:

      With Ocaml 3.02, the parser seems to consider "~" to be an ordinary letter,
      not a special symbol. This means that we now need to put spaces
      (or paranteses) around "~" when writing squiddle equality terms.
      

Changes	Path
+1319 -1317	metaprl/theories/itt/itt_int_base.prla
+4347 -4358	metaprl/theories/itt/itt_record.prla