| changeset 15531 | 08c8dad8e399 |
| parent 5061 | f947332d5465 |
| child 15661 | 9ef583b08647 |
--- a/src/FOLP/ex/quant.ML Fri Feb 11 18:51:00 2005 +0100 +++ b/src/FOLP/ex/quant.ML Sun Feb 13 17:15:14 2005 +0100 @@ -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 *)