[jyh] Changed the meta_term and hypothesis type definitions in term_sig_ Mon Sep 19 05:31:32 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-31-32-576042000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-31-32-576042000-PDT.html [] This commit was manufactured by cvs2svn to create branch_ Mon Sep 19 05:41:12 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-41-12-592994000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-41-12-592994000-PDT.html [nogin] Removed all the unused _open_ statements._ Mon Sep 19 05:43:58 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-43-58-110494000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-43-58-110494000-PDT.html [n8gray] Changed AtomTyApply to take 3 arguments and cleaned up the giant rewrite in CPS._ Mon Sep 19 05:50:46 PDT 2005 http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-50-46-470694000-PDT.html http://svn.metaprl.org/commitlogs/mpcompiler/2004-01/2005-09-19-05-50-46-470694000-PDT.html