changeset 15661 | 9ef583b08647 |
parent 15531 | 08c8dad8e399 |
child 17480 | fd19f77dcf60 |
--- a/src/FOLP/ex/quant.ML Thu Apr 07 09:24:35 2005 +0200 +++ b/src/FOLP/ex/quant.ML Thu Apr 07 09:25:33 2005 +0200 @@ -34,7 +34,7 @@ result(); -writeln"SOME harder ones"; +writeln"Some harder ones"; Goal "?p : (EX x. P(x) | Q(x)) <-> (EX x. P(x)) | (EX x. Q(x))"; by tac; @@ -104,7 +104,7 @@ result(); -writeln"SOME slow ones"; +writeln"Some slow ones"; (*Principia Mathematica *11.53 *)