Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 1999-05-20 16:11:57 -0700 (Thu, 20 May 1999)
Revision: 2660
Log message:

      Fixed fun_df3:
      
       dform fun_df3 : rfun{'A; f, x. 'B['f; 'x]} =
      -   "{" " " slot{bvar{'f}} `"|" "fun"{'A; x. 'B['f; 'x]} "}"
      +   "{" " " slot{bvar{'f}} `" | "  slot{bvar{'x}} `":" slot{'A} " " rightarrow " " slot{'B} "}"
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_rfun.ml