Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed typo regarding lifting over P|P
authorpaulson
Tue, 16 Jul 1996 15:45:36 +0200
changeset 1865 484956c42436
parent 1864 9ac4c2240d89
child 1866 a1a41b4b02e7
Fixed typo regarding lifting over P|P
doc-src/Intro/foundations.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/Intro/foundations.tex	Tue Jul 16 15:44:31 1996 +0200
+++ b/doc-src/Intro/foundations.tex	Tue Jul 16 15:45:36 1996 +0200
@@ -1062,7 +1062,7 @@
   \lbrakk\;& P\disj P \Imp \Var{P@1}\disj\Var{Q@1}; \\
            & \List{P\disj P ;\; \Var{P@1}} \Imp \Var{R@1};    \\
            & \List{P\disj P ;\; \Var{Q@1}} \Imp \Var{R@1}     \\
-  \rbrakk\;& \Imp \Var{R@1}
+  \rbrakk\;& \Imp (P\disj P \Imp \Var{R@1})
   \end{array} 
 \]
 Unification takes the simultaneous equations
isabelle