Cross Reference: /seL4-l4v-10.1.1/HOL4/src/coretypes/

+ =====================================================================	+
|									|
| LIBRARY	: option						|
|									|
| DESCRIPTION   : definition of logical types for options.		|
|									|
| AUTHOR	: D.R.Syme						|
| DATE		: 1 November 1995  					|
|									|
| MODIFIED      : R.J.Boulton						|
| DATE		: 28 June 1996						|
+ =====================================================================	+
Name		Date	Size
..		25-Jul-2019	70
.gitignore	H A D	25-Jul-2019	10
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	419
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	708
optionScript.sml	H A D	25-Jul-2019	27.7 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	25-Jul-2019	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 KiB
pairScript.sml	H A D	25-Jul-2019	35.5 KiB
pairSimps.sig	H A D	25-Jul-2019	300
pairSimps.sml	H A D	25-Jul-2019	1.4 KiB
pairSyntax.sig	H A D	25-Jul-2019	3.4 KiB
pairSyntax.sml	H A D	25-Jul-2019	13.8 KiB
pairTools.sig	H A D	25-Jul-2019	635
pairTools.sml	H A D	25-Jul-2019	14.8 KiB
posetScript.sml	H A D	25-Jul-2019	14 KiB
selftest.sml	H A D	25-Jul-2019	7 KiB
sum.otd	H A D	25-Jul-2019	256
sumScript.sml	H A D	25-Jul-2019	21.4 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	25-Jul-2019	2.4 KiB