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 tex problem
authornipkow
Wed, 04 Aug 2004 09:44:40 +0200
changeset 15105 e194d4d265fb
parent 15104 f14e0d9587be
child 15106 e8cef6993701
fixed tex problem
src/HOL/Hyperreal/Integration.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Hyperreal/Integration.thy	Tue Aug 03 14:48:59 2004 +0200
+++ b/src/HOL/Hyperreal/Integration.thy	Wed Aug 04 09:44:40 2004 +0200
@@ -369,7 +369,7 @@
 
 text{*Fundamental theorem of calculus (Part I)*}
 
-text{*"Straddle Lemma" : Swartz & Thompson: AMM 95(7) 1988 *}
+text{*"Straddle Lemma" : Swartz and Thompson: AMM 95(7) 1988 *}
 
 lemma choiceP: "\<forall>x. P(x) --> (\<exists>y. Q x y) ==> \<exists>f. (\<forall>x. P(x) --> Q x (f x))"
 by meson
isabelle