changeset 66805 | 274b4edca859 |
parent 66797 | 9c9baae29217 |
child 66842 | 7ded55dd2a55 |
--- a/src/HOL/ROOT Sun Oct 08 22:28:20 2017 +0200 +++ b/src/HOL/ROOT Sun Oct 08 22:28:21 2017 +0200 @@ -71,7 +71,6 @@ Computational_Algebra (*conflicting type class instantiations and dependent applications*) Field_as_Ring - Polynomial_Factorial session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" + description {*