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.
add file Hyperreal/transfer.ML
authorhuffman
Mon, 12 Sep 2005 23:07:58 +0200
changeset 17330 e007b307a09e
parent 17329 72637e062a0d
child 17331 6b8b27894133
add file Hyperreal/transfer.ML
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Sep 12 23:06:24 2005 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 12 23:07:58 2005 +0200
@@ -146,7 +146,7 @@
   Real/Float.thy Real/Float.ML                                                  \
   Hyperreal/StarType.thy Hyperreal/Transfer.thy Hyperreal/StarClasses.thy	\
   Hyperreal/EvenOdd.thy Hyperreal/Fact.thy Hyperreal/HLog.thy			\
-  Hyperreal/Filter.thy Hyperreal/HSeries.thy					\
+  Hyperreal/Filter.thy Hyperreal/HSeries.thy Hyperreal/transfer.ML		\
   Hyperreal/HTranscendental.thy Hyperreal/HyperArith.thy			\
   Hyperreal/HyperDef.thy Hyperreal/HyperNat.thy					\
   Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy				\
isabelle