| #
1fbad939 |
|
21-Oct-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove TABs from source files (and some trailing w/space)
|
| #
c9dac5da |
|
10-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Stage work on moving hol-light's cardinal theorems into HOL4's cardinalTheory
|
| #
9420ca26 |
|
10-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Moved hol-light's wellorder theorems into HOL4's wellorderTheory
|
| #
8df6b672 |
|
10-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Stage work on moving hol-light's cardinal theorems into HOL4's cardinalTheory
|
| #
ac563ea6 |
|
10-Sep-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Renamed `rich_topologyTheory` to `real_topologyTheory`
|