Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-14 20:44:06 -0800 (Wed, 14 Dec 2005)
Revision: 8301
Log message:

      Another intermediate commmit.
      
      This gets half of the work for automation of ProofRule{'ty_sequent}
      well-formedness checking.  Time to do some work on raw BTerms.
      
      Why have all the reflection people disappeared several months ago?
      Peoples have better things to do, they should let me know!