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.
removed Formal_Power_Series_Examples (cf. adea7a729c7a);
authorwenzelm
Fri, 24 Jul 2009 11:31:22 +0200
changeset 32166 95ffc6e2a0ea
parent 32165 dee62e8af256
child 32167 d32817dda0e6
child 32203 992ac8942691
child 32268 d50f0cb67578
removed Formal_Power_Series_Examples (cf. adea7a729c7a);
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Fri Jul 24 11:30:32 2009 +0200
+++ b/src/HOL/ex/ROOT.ML	Fri Jul 24 11:31:22 2009 +0200
@@ -65,7 +65,6 @@
   "HarmonicSeries",
   "Refute_Examples",
   "Quickcheck_Examples",
-  "Formal_Power_Series_Examples",
   "Landau"
 ];
isabelle