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.
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
authorhoelzl
Tue, 23 Feb 2010 12:02:32 +0100
changeset 35310 73806dbabe90
parent 35309 997aa3a3e4bb
child 35313 956d08ec5d65
Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration
src/HOL/NSA/Hyperreal.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 10:02:14 2010 +0100
+++ b/src/HOL/NSA/Hyperreal.thy	Tue Feb 23 12:02:32 2010 +0100
@@ -7,7 +7,7 @@
 *)
 
 theory Hyperreal
-imports Ln Deriv Taylor Integration HLog
+imports Ln Deriv Taylor HLog
 begin
 
 end
isabelle