| #
d4b35410 |
|
25-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tag Mario's name as UOK in comments at head of wlogLib.{sig,sml}
|
| #
fa83089e |
|
24-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Tidy up copyright documentation
- Move some information out of file headers into various files in
doc/copyrights.
- Reinstate a LICENSE file for examples/muddy (which is LGPL).
- Identify code taken directly from Poly/ML implementation in
tools-poly/holrepl.ML
See github discussion at
https://github.com/HOL-Theorem-Prover/HOL/issues/559
for more on this.
Closes #559
|
| #
f8fd9624 |
|
23-Aug-2018 |
Chun Tian (binghe) <binghe.lisp@gmail.com> |
Fixed building in mosml
|
| #
b4b8e85c |
|
18-Aug-2018 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Don't export ERR from HolKernel
|
| #
b5024ad4 |
|
04-Jul-2018 |
Mario Xerxes _Castelán Castro_ <marioxcc@example.org> |
Move without loss of generality tacticals to new library.
|