author | haftmann |
Fri, 11 Sep 2009 09:04:51 +0200 | |
changeset 32560 | c83dab2c5988 |
parent 32559 | 6b5d478114f0 |
child 32561 | fdbfa0e35e78 |
1.1 --- a/src/HOL/ex/ROOT.ML Thu Sep 10 17:14:05 2009 +0200 1.2 +++ b/src/HOL/ex/ROOT.ML Fri Sep 11 09:04:51 2009 +0200 1.3 @@ -60,7 +60,7 @@ 1.4 "BinEx", 1.5 "Sqrt", 1.6 "Sqrt_Script", 1.7 - "Transfer_ex", 1.8 + "Transfer_Ex", 1.9 "Arithmetic_Series_Complex", 1.10 "HarmonicSeries", 1.11 "Refute_Examples",