equal
deleted
inserted
replaced
82 sessions |
82 sessions |
83 "HOL-Decision_Procs" |
83 "HOL-Decision_Procs" |
84 theories |
84 theories |
85 Real_Asymp |
85 Real_Asymp |
86 Real_Asymp_Approx |
86 Real_Asymp_Approx |
87 Real_Asymp_Examples |
87 Real_Asymp_Examples |
|
88 |
|
89 session "HOL-Real_Asymp-Manual" in "Real_Asymp/Manual" = "HOL-Real_Asymp" + |
|
90 theories |
|
91 Real_Asymp_Doc |
|
92 document_files (in "~~/src/Doc") |
|
93 "iman.sty" |
|
94 "extra.sty" |
|
95 "isar.sty" |
|
96 document_files |
|
97 "root.tex" |
|
98 "style.sty" |
88 |
99 |
89 session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" + |
100 session "HOL-Hahn_Banach" in Hahn_Banach = "HOL-Library" + |
90 description {* |
101 description {* |
91 Author: Gertrud Bauer, TU Munich |
102 Author: Gertrud Bauer, TU Munich |
92 |
103 |