# HG changeset patch
# User haftmann
# Date 1492407861 -7200
# Node ID 8c7bc3a13513d5a96e2de799f3e4a1e90ffa6480
# Parent  751f9ed8e9400714e379bb8053acfc75e8fd0419
consistent session name

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*)