equal
deleted
inserted
replaced
110 merely by simplification with the generalized version we just proved. |
110 merely by simplification with the generalized version we just proved. |
111 However, this is unnecessary because the generalized version fully subsumes |
111 However, this is unnecessary because the generalized version fully subsumes |
112 its instance.% |
112 its instance.% |
113 \end{isamarkuptext}% |
113 \end{isamarkuptext}% |
114 \end{isabelle}% |
114 \end{isabelle}% |
|
115 %%% Local Variables: |
|
116 %%% mode: latex |
|
117 %%% TeX-master: "root" |
|
118 %%% End: |