isabelle-cookbook: comparison ProgTutorial/FirstSteps.thy

equal deleted inserted replaced

-:73f716b9201a
+:95461cf6fd07
 section {* Combinators\label{sec:combinators} *}
 text {*
-For beginners perhaps the most puzzling parts in the existing code of Isabelle are
+For beginners perhaps the most puzzling parts in the existing code of
-the combinators. At first they seem to greatly obstruct the
+Isabelle are the combinators. At first they seem to greatly obstruct the
-comprehension of the code, but after getting familiar with them, they
+comprehension of code, but after getting familiar with them and handled with
-actually ease the understanding and also the programming.
+care, they actually ease the understanding and also the programming.
 The simplest combinator is @{ML_ind I in Library}, which is just the
 identity function defined as
 *}