NameDateSize

..25-Jul-201969

.gitignoreH A D25-Jul-201910

DefnBase.sigH A D01-Feb-20202.2 KiB

DefnBase.smlH A D05-Nov-202020.1 KiB

HolmakefileH A D25-Jul-2019373

one.otdH A D25-Jul-201980

oneScript.smlH A D25-Jul-20197.1 KiB

oneSyntax.sigH A D25-Jul-2019238

oneSyntax.smlH A D25-Jul-2019415

option-READMEH A D25-Jul-2019412

option.otdH A D25-Jul-2019340

optionLib.sigH A D25-Jul-20191.5 KiB

optionLib.smlH A D25-Jul-2019745

optionScript.smlH A D10-Jul-202028.4 KiB

optionSimps.sigH A D25-Jul-201965

optionSimps.smlH A D25-Jul-2019129

optionSyntax.sigH A D25-Jul-20191.4 KiB

optionSyntax.smlH A D25-Jul-20194.4 KiB

pair-COPYRIGHTH A D25-Jul-20191.8 KiB

pair-Manual/H25-Jul-20199

pair.otdH A D25-Jul-2019170

PairedLambda.sigH A D25-Jul-2019308

PairedLambda.smlH A D25-Jul-201915.8 KiB

pairLib.sigH A D09-Apr-20204 KiB

pairLib.smlH A D25-Jul-20195.6 KiB

PairRules.sigH A D25-Jul-20194.5 KiB

PairRules.smlH A D25-Jul-2019100.2 KiB

pairScript.smlH A D09-Nov-202035.1 KiB

pairSimps.sigH A D25-Jul-2019180

pairSimps.smlH A D09-Nov-2020831

pairSyntax.sigH A D25-Jul-20193.4 KiB

pairSyntax.smlH A D07-Jul-202013.8 KiB

pairTools.sigH A D09-Apr-2020666

pairTools.smlH A D09-Apr-202015.1 KiB

posetScript.smlH A D25-Jul-201914 KiB

selftest.smlH A D09-Nov-20208.2 KiB

sum.otdH A D25-Jul-2019256

sumScript.smlH A D01-Feb-202021.7 KiB

sumSimps.sigH A D25-Jul-2019103

sumSimps.smlH A D25-Jul-2019352

sumSyntax.sigH A D25-Jul-20191.2 KiB

sumSyntax.smlH A D07-Jul-20202.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