| #
48c29c60 |
|
31-Jul-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
Consistent use of semicolons instead of full stops in enumerations.
|
| #
abcc2621 |
|
08-Oct-2006 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Finish the update that sees LOGIC become a manual in its own right.
DESCRIPTION becomes a bit shorter as a result, and no longer has "parts",
just chapters.
|
| #
d3369370 |
|
08-Aug-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add some sentences explaining that Part I of the Description can be skipped
if all you want do is learn the SML interface.
|
| #
215cdfcf |
|
31-May-2002 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Added a note explaining our nomenclature changes.
|
| #
ee6d004a |
|
26-Oct-1999 |
Konrad Slind <konrad.slind@gmail.com> |
New changes from Konrad, uploaded so that Michael can concurrently
access some parts.
|
| #
97bd2af4 |
|
25-Aug-1999 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Added the Description; it is seriously out of date in many many respects.
I've done little more than remove the part describing ML and update the
preface slightly to at least mention HOL98.
|