[guru-lang] r539 committed - fixed a poorly worded comment.

[guru...@googlecode.com]

Revision: 539
Author: kevinclancy0
Date: Fri Aug 26 15:33:33 2011
Log: fixed a poorly worded comment.
http://code.google.com/p/guru-lang/source/detail?r=539

Modified:
/branches/1.0/guru/Ascription.java

=======================================
--- /branches/1.0/guru/Ascription.java Fri Aug 26 15:30:54 2011
+++ /branches/1.0/guru/Ascription.java Fri Aug 26 15:33:33 2011
@@ -20,9 +20,9 @@
* of the proof from the details.
*
* An ascription can also be used to refer to a subproof by formula rather
than
- * a programmer-given name. Instead of creating an abbreviation for a
subproof,
- * one could insert the subproof into the context using the lemma
construct.
- * The subproof could then be referred to inside the lemma body using an
+ * by programmer-given name. Instead of creating an abbreviation for a
subproof,
+ * one can insert the subproof into the context using the lemma construct.
+ * The subproof can then be referred to inside the lemma body using an
* ascripted lemma mark.
*/
public class Ascription extends Expr {