diff -r 751f9ed8e940 -r 8c7bc3a13513 src/HOL/ROOT
--- a/src/HOL/ROOT Sun Apr 16 15:30:03 2017 +0200
+++ b/src/HOL/ROOT Mon Apr 17 07:44:21 2017 +0200
@@ -69,7 +69,7 @@
Approximations
Circle_Area
-session "HOL-Computation_Algebra" in "Computational_Algebra" = HOL +
+session "HOL-Computational_Algebra" in "Computational_Algebra" = HOL +
theories
Computational_Algebra
(*conflicting type class instantiations and dependent applications*)