Fixed a bug in GeneralApplication that caused prerequisite theorems to not include the theorem that spawn the step, hosing proof output.  Fixed a bug in MainProofLevel that caused cycle detection to fail when multiple cycles were encountered.  Added a defensive check to removeConsequent in PerVCProver.  Fixed a bug in ExpandAntecedentBySubstitution that caused equality theorems to become symmetrical and then make meaningless changes.  Fixed an error in MTType that allowed equals() to go into an infinite recursive loop.
Merge pull request #53 from hamptonsmith/facilities3

Fixed a bug in GeneralApplication that caused prerequisite theorems to n...