changeset 65485 | 8c7bc3a13513 |
parent 65462 | db1827610513 |
child 65509 | ffedb16f382f |
--- 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*)