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.
merge
authorblanchet
Tue, 23 Feb 2010 12:14:46 +0100
changeset 35313 956d08ec5d65
parent 35312 99cd1f96b400 (current diff)
parent 35310 73806dbabe90 (diff)
child 35314 cbdf785a1eb3
child 35321 c298a4fc324b
child 35326 fc132ff3dfa2
child 35331 450ab945c451
merge
--- a/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 12:14:29 2010 +0100
+++ b/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 12:14:46 2010 +0100
@@ -7,7 +7,7 @@
 *)
 
 theory Hyperreal
-imports Ln Deriv Taylor Integration HLog
+imports Ln Deriv Taylor HLog
 begin
 
 end
isabelle