equal
deleted
inserted
replaced
75 session "HOL-Computational_Algebra" (main timing) in "Computational_Algebra" = "HOL-Library" + |
75 session "HOL-Computational_Algebra" (main timing) in "Computational_Algebra" = "HOL-Library" + |
76 theories |
76 theories |
77 Computational_Algebra |
77 Computational_Algebra |
78 (*conflicting type class instantiations and dependent applications*) |
78 (*conflicting type class instantiations and dependent applications*) |
79 Field_as_Ring |
79 Field_as_Ring |
|
80 |
|
81 session "HOL-Real_Asymp" in Real_Asymp = HOL + |
|
82 sessions |
|
83 "HOL-Decision_Procs" |
|
84 theories |
|
85 Real_Asymp |
|
86 Real_Asymp_Approx |
|
87 Real_Asymp_Examples |
80 |
88 |
81 session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" + |
89 session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" + |
82 description {* |
90 description {* |
83 Author: Gertrud Bauer, TU Munich |
91 Author: Gertrud Bauer, TU Munich |
84 |
92 |