Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2000-05-05 16:57:47 -0700 (Fri, 05 May 2000) Revision: 2955 Log message:
Changed the typeinf tactic to use MM unification. Now this branch will compile.