| #
f969d86b |
|
05-Oct-2017 |
Andreas Lööw <AndreasLoow@users.noreply.github.com> |
Various doc fixes
|
| #
c26ea3c1 |
|
29-Oct-2014 |
Michael Norrish <michael.norrish@nicta.com.au> |
Documentation reflecting preference for Datatype over Hol_datatype.
Some code changes as well, most importantly in TUTORIAL's
examples/ind_def/clScript.sml.
|
| #
0b3b49a1 |
|
10-Jan-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Document the new, "nailed down" behaviour of new_type_definition and
Hol_datatype.
|
| #
3aa1e816 |
|
22-Feb-2002 |
Konrad Slind <konrad.slind@gmail.com> |
Minor mods.
|
| #
906d4eff |
|
20-Dec-2001 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Trailing white-space removed, and a few extra words inserted. Refer
interested readers to the DESCRIPTION for more details on the wonders
of record type definitions.
|
| #
4bf31170 |
|
18-Dec-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Mods to existing docs.
|
| #
7593e439 |
|
17-Dec-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Restored overwritten mn200 change.
|
| #
21fc6079 |
|
17-Dec-2001 |
Konrad Slind <konrad.slind@gmail.com> |
More docs. Changes to Hol_datatype docs, but still need description
of the functions defined when a record type is declared.
|
| #
4637c9d2 |
|
14-Dec-2001 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Some more words for deprecate_int, a new entry for prefer_int, and a
minor typo fix in Hol_datatype.
|
| #
0e77215b |
|
14-Dec-2001 |
Konrad Slind <konrad.slind@gmail.com> |
More changes. Have made a start on Hol_datatype.
|