Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 14348 744c868ee0b7
parent 14335 9c0b5e081037
child 14350 41b32020d0b3 
--- a/src/HOL/IsaMakefile	Fri Jan 09 01:28:24 2004 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 09 10:46:18 2004 +0100
@@ -93,7 +93,7 @@
   Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
   Lfp.ML Lfp.thy List.ML List.thy Main.ML Main.thy Map.thy Nat.ML \
   Nat.thy NatArith.ML NatArith.thy Numeral.thy \
-  Power.ML Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
+  Power.thy PreList.thy Product_Type.ML Product_Type.thy ROOT.ML \
   Recdef.thy Record.thy Relation.ML Relation.thy Relation_Power.ML \
   Relation_Power.thy Ring_and_Field.thy\
   Set.ML Set.thy SetInterval.ML SetInterval.thy \
@@ -152,8 +152,7 @@
   Hyperreal/HyperArith0.thy Hyperreal/HyperArith.thy\
   Hyperreal/HyperBin.ML Hyperreal/HyperBin.thy \
   Hyperreal/HyperDef.thy Hyperreal/HyperNat.ML Hyperreal/HyperNat.thy\
-  Hyperreal/HyperOrd.thy Hyperreal/HyperPow.ML\
-  Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
+  Hyperreal/HyperOrd.thy Hyperreal/HyperPow.thy Hyperreal/Hyperreal.thy\
   Hyperreal/Lim.ML Hyperreal/Lim.thy  Hyperreal/Log.ML Hyperreal/Log.thy\
   Hyperreal/MacLaurin.ML Hyperreal/MacLaurin.thy\
   Hyperreal/NatStar.ML Hyperreal/NatStar.thy\
isabelle