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 Complex/ROOT.ML)
authorhaftmann
Tue, 01 Jul 2008 09:58:32 +0200
changeset 27425 a54f01b75887
parent 27424 594fd97ce3d1
child 27426 c0ef698c0904
(removed Complex/ROOT.ML)
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Tue Jul 01 08:19:00 2008 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 01 09:58:32 2008 +0200
@@ -186,7 +186,6 @@
   Complex/Fundamental_Theorem_Algebra.thy \
   Complex/NSCA.thy \
   Complex/NSComplex.thy \
-  Complex/ROOT.ML \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \
isabelle