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 47223 4fc34c628474
parent 47205 34e8b7347dda
child 47232 e2f0176149d0 
--- a/src/HOL/IsaMakefile	Fri Mar 30 14:25:32 2012 +0200
+++ b/src/HOL/IsaMakefile	Fri Mar 30 14:27:29 2012 +0200
@@ -1128,7 +1128,7 @@
   Library/Code_Integer.thy Library/Code_Nat.thy				\
   Library/Code_Natural.thy Library/Efficient_Nat.thy			\
   Number_Theory/Primes.thy ex/Abstract_NAT.thy ex/Antiquote.thy		\
-  ex/Arith_Examples.thy ex/Arithmetic_Series_Complex.thy ex/BT.thy	\
+  ex/Arith_Examples.thy ex/BT.thy					\
   ex/BinEx.thy ex/Binary.thy ex/Birthday_Paradox.thy ex/CTL.thy		\
   ex/Case_Product.thy ex/Chinese.thy ex/Classical.thy			\
   ex/Code_Nat_examples.thy						\
isabelle