src/HOL/ROOT
changeset 65485 8c7bc3a13513
parent 65462 db1827610513
child 65509 ffedb16f382f
equal deleted inserted replaced
65484:751f9ed8e940 65485:8c7bc3a13513
    67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
    67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
    68   theories
    68   theories
    69     Approximations
    69     Approximations
    70     Circle_Area
    70     Circle_Area
    71 
    71 
    72 session "HOL-Computation_Algebra" in "Computational_Algebra" = HOL +
    72 session "HOL-Computational_Algebra" in "Computational_Algebra" = HOL +
    73   theories
    73   theories
    74     Computational_Algebra
    74     Computational_Algebra
    75     (*conflicting type class instantiations and dependent applications*)
    75     (*conflicting type class instantiations and dependent applications*)
    76     Field_as_Ring
    76     Field_as_Ring
    77     Polynomial_Factorial
    77     Polynomial_Factorial