Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 69 | ||
.gitignore | H A D | 25-Jul-2019 | 10 | |
DefnBase.sig | H A D | 01-Feb-2020 | 2.2 KiB | |
DefnBase.sml | H A D | 05-Nov-2020 | 20.1 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 373 | |
one.otd | H A D | 25-Jul-2019 | 80 | |
oneScript.sml | H A D | 25-Jul-2019 | 7.1 KiB | |
oneSyntax.sig | H A D | 25-Jul-2019 | 238 | |
oneSyntax.sml | H A D | 25-Jul-2019 | 415 | |
option-README | H A D | 25-Jul-2019 | 412 | |
option.otd | H A D | 25-Jul-2019 | 340 | |
optionLib.sig | H A D | 25-Jul-2019 | 1.5 KiB | |
optionLib.sml | H A D | 25-Jul-2019 | 745 | |
optionScript.sml | H A D | 10-Jul-2020 | 28.4 KiB | |
optionSimps.sig | H A D | 25-Jul-2019 | 65 | |
optionSimps.sml | H A D | 25-Jul-2019 | 129 | |
optionSyntax.sig | H A D | 25-Jul-2019 | 1.4 KiB | |
optionSyntax.sml | H A D | 25-Jul-2019 | 4.4 KiB | |
pair-COPYRIGHT | H A D | 25-Jul-2019 | 1.8 KiB | |
pair-Manual/ | H | 25-Jul-2019 | 9 | |
pair.otd | H A D | 25-Jul-2019 | 170 | |
PairedLambda.sig | H A D | 25-Jul-2019 | 308 | |
PairedLambda.sml | H A D | 25-Jul-2019 | 15.8 KiB | |
pairLib.sig | H A D | 09-Apr-2020 | 4 KiB | |
pairLib.sml | H A D | 25-Jul-2019 | 5.6 KiB | |
PairRules.sig | H A D | 25-Jul-2019 | 4.5 KiB | |
PairRules.sml | H A D | 25-Jul-2019 | 100.2 KiB | |
pairScript.sml | H A D | 09-Nov-2020 | 35.1 KiB | |
pairSimps.sig | H A D | 25-Jul-2019 | 180 | |
pairSimps.sml | H A D | 09-Nov-2020 | 831 | |
pairSyntax.sig | H A D | 25-Jul-2019 | 3.4 KiB | |
pairSyntax.sml | H A D | 07-Jul-2020 | 13.8 KiB | |
pairTools.sig | H A D | 09-Apr-2020 | 666 | |
pairTools.sml | H A D | 09-Apr-2020 | 15.1 KiB | |
posetScript.sml | H A D | 25-Jul-2019 | 14 KiB | |
selftest.sml | H A D | 09-Nov-2020 | 8.2 KiB | |
sum.otd | H A D | 25-Jul-2019 | 256 | |
sumScript.sml | H A D | 01-Feb-2020 | 21.7 KiB | |
sumSimps.sig | H A D | 25-Jul-2019 | 103 | |
sumSimps.sml | H A D | 25-Jul-2019 | 352 | |
sumSyntax.sig | H A D | 25-Jul-2019 | 1.2 KiB | |
sumSyntax.sml | H A D | 07-Jul-2020 | 2.4 KiB |
option-README
1+ ===================================================================== + 2| | 3| LIBRARY : option | 4| | 5| DESCRIPTION : definition of logical types for options. | 6| | 7| AUTHOR : D.R.Syme | 8| DATE : 1 November 1995 | 9| | 10| MODIFIED : R.J.Boulton | 11| DATE : 28 June 1996 | 12+ ===================================================================== + 13