| #
486e9658 |
|
11-Apr-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Updated HOL Description for mathematical theories (with other cumulative fixes)
|
| #
11d89038 |
|
10-Mar-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Removed "Reverse" from hurdUtils, using "Tactical.reverse" instead
|
| #
49d03295 |
|
09-Feb-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Radon-Nikodym Theorem for [0,+Inf]-Measure Theory (HVG concordia)
|
| #
0a7939af |
|
31-Jan-2020 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Borel and Lebesgue measure spaces (and their equivalence on Borel sets)
|
| #
4080d86a |
|
27-Oct-2019 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Henstock–Kurzweil integral (ported from HOL Light)
|