| #
063c2c97 |
|
01-May-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix src/real for tight equality
Bulk of changes just set grammars back to loose equality for script
duration.
|
| #
c48f1d0b |
|
28-Aug-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Moved abstract topology stuff outside of "src/real", remaining stuff is metricTheory now.
|
| #
95d60bd3 |
|
02-Oct-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove -- as an alias for Term parser.
As per comment in release notes this has long been replaced as
appropriate style.
|
| #
5c615bb7 |
|
09-Oct-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
Add author names to new integralScript.sml.
|
| #
b838511e |
|
08-Oct-2012 |
Michael Norrish <michael.norrish@nicta.com.au> |
A port of HOL Light's gauge integral results by Weiqing Gu.
|