Index of /~swalton/hol98/sigobj

	Name	Last modified	Size	Description
	Parent Directory		-
	AC.sig	06-Nov-2000 08:27	511
	AC.ui	14-Apr-2005 09:01	14K
	AC.uo	14-Apr-2005 09:01	13K
	Abbrev.sig	26-Jun-2003 17:05	565
	Abbrev.ui	14-Apr-2005 09:00	12K
	Abbrev.uo	14-Apr-2005 09:00	452
	Absyn.sig	20-Sep-2002 10:31	3.3K
	Absyn.ui	14-Apr-2005 09:00	31K
	Absyn.uo	14-Apr-2005 09:00	32K
	Arbint.sig	26-Jun-2003 17:21	1.1K
	Arbint.ui	14-Apr-2005 09:00	11K
	Arbint.uo	14-Apr-2005 09:00	15K
	Arbnum.sig	23-Feb-2004 09:19	1.2K
	Arbnum.ui	14-Apr-2005 09:00	11K
	Arbnum.uo	14-Apr-2005 09:00	34K
	Arith.sig	20-Nov-2000 04:35	607
	Arith.ui	14-Apr-2005 09:02	16K
	Arith.uo	14-Apr-2005 09:02	4.8K
	Arith_cons.sig	19-Oct-2003 08:34	1.2K
	Arith_cons.ui	14-Apr-2005 09:02	22K
	Arith_cons.uo	14-Apr-2005 09:02	10K
	Arithconv.sig	10-Feb-2001 01:55	408
	Arithconv.ui	14-Apr-2005 09:02	15K
	Arithconv.uo	14-Apr-2005 09:02	30K
	Base.ui	14-Apr-2005 09:09	35K
	Base.uo	14-Apr-2005 09:09	33K
	BasicProvers.sig	15-Jul-2004 02:04	1.0K
	BasicProvers.ui	14-Apr-2005 09:01	24K
	BasicProvers.uo	14-Apr-2005 09:01	42K
	Boolconv.sig	10-Feb-2001 01:55	185
	Boolconv.ui	14-Apr-2005 09:02	13K
	Boolconv.uo	14-Apr-2005 09:02	25K
	Bwd.sig	16-Nov-2000 05:39	745
	Bwd.ui	14-Apr-2005 09:00	17K
	Bwd.uo	14-Apr-2005 09:00	18K
	CSimp.sig	06-Mar-2002 08:40	240
	CSimp.ui	14-Apr-2005 09:09	12K
	CSimp.uo	14-Apr-2005 09:10	30K
	Cache.sig	12-Jan-2005 19:57	1.8K
	Cache.ui	14-Apr-2005 09:01	16K
	Cache.uo	14-Apr-2005 09:01	19K
	Canon.sig	29-Apr-1999 10:54	1.1K
	Canon.ui	14-Apr-2005 09:01	9.2K
	Canon.uo	14-Apr-2005 09:01	72K
	Canon_Port.sig	13-Nov-2000 05:49	530
	Canon_Port.ui	14-Apr-2005 09:01	17K
	Canon_Port.uo	14-Apr-2005 09:01	32K
	CharSet.sig	26-Jul-2002 07:33	440
	CharSet.ui	14-Apr-2005 09:00	4.9K
	CharSet.uo	14-Apr-2005 09:00	7.2K
	CoderTheory.sig	14-Apr-2005 09:07	4.7K
	CoderTheory.ui	14-Apr-2005 09:07	7.2K
	CoderTheory.uo	14-Apr-2005 09:07	365K
	Cond_rewr.sig	01-Jul-2003 20:06	1.5K
	Cond_rewr.ui	14-Apr-2005 09:01	14K
	Cond_rewr.uo	14-Apr-2005 09:01	32K
	Cond_rewrite.sig	19-Oct-2003 08:34	911
	Cond_rewrite.ui	14-Apr-2005 09:05	15K
	Cond_rewrite.uo	14-Apr-2005 09:05	17K
	ConstMapML.sig	16-Jan-2005 21:27	390
	ConstMapML.ui	14-Apr-2005 09:00	4.3K
	ConstMapML.uo	14-Apr-2005 09:00	11K
	Conv.sig	25-Mar-2003 23:29	3.4K
	Conv.ui	14-Apr-2005 09:00	31K
	Conv.uo	14-Apr-2005 09:00	160K
	Cooper.sig	31-Aug-2001 05:25	362
	Cooper.ui	14-Apr-2005 09:10	15K
	Cooper.uo	14-Apr-2005 09:10	2.6K
	CooperCore.sig	13-Sep-2001 10:37	99
	CooperCore.ui	14-Apr-2005 09:10	13K
	CooperCore.uo	14-Apr-2005 09:10	76K
	CooperMath.sig	07-Oct-2003 07:56	2.9K
	CooperMath.ui	14-Apr-2005 09:09	22K
	CooperMath.uo	14-Apr-2005 09:10	104K
	CooperShell.sig	13-Sep-2001 10:37	141
	CooperShell.ui	14-Apr-2005 09:10	13K
	CooperShell.uo	14-Apr-2005 09:10	68K
	CooperSyntax.sig	07-Oct-2003 07:56	2.5K
	CooperSyntax.ui	14-Apr-2005 09:10	27K
	CooperSyntax.uo	14-Apr-2005 09:10	46K
	CooperThms.sig	07-Oct-2003 07:56	494
	CooperThms.ui	14-Apr-2005 09:10	16K
	CooperThms.uo	14-Apr-2005 09:10	16K
	CoreKernel-sig.ui	14-Apr-2005 09:00	74K
	CoreKernel-sig.uo	14-Apr-2005 09:00	716
	CoreKernel.sig	28-May-2002 04:56	896
	Count.sig	16-Aug-2004 20:35	2.0K
	Count.ui	14-Apr-2005 09:00	13K
	Count.uo	14-Apr-2005 09:00	22K
	DB.sig	13-Jun-2002 03:13	1.3K
	DB.ui	14-Apr-2005 09:00	14K
	DB.uo	14-Apr-2005 09:00	31K
	DataSize.sig	27-Sep-2004 11:26	244
	DataSize.ui	14-Apr-2005 09:03	14K
	DataSize.uo	14-Apr-2005 09:03	21K
	Datatype.sig	30-Oct-2003 22:00	1.3K
	Datatype.ui	14-Apr-2005 09:03	22K
	Datatype.uo	14-Apr-2005 09:03	82K
	DecodeTheory.sig	14-Apr-2005 09:07	16K
	DecodeTheory.ui	14-Apr-2005 09:07	13K
	DecodeTheory.uo	14-Apr-2005 09:07	388K
	DeepSyntaxTheory.sig	14-Apr-2005 09:10	24K
	DeepSyntaxTheory.ui	14-Apr-2005 09:10	10K
	DeepSyntaxTheory.uo	14-Apr-2005 09:10	228K
	Definition-sig.ui	14-Apr-2005 09:00	4.0K
	Definition-sig.uo	14-Apr-2005 09:00	208
	Definition.sig	16-Aug-2002 15:24	406
	Definition.ui	14-Apr-2005 09:00	9.5K
	Definition.uo	14-Apr-2005 09:00	9.3K
	Defn.sig	04-Aug-2004 22:26	1.7K
	Defn.ui	14-Apr-2005 09:01	33K
	Defn.uo	14-Apr-2005 09:02	119K
	DefnBase.sig	14-May-2001 11:22	723
	DefnBase.ui	14-Apr-2005 09:00	6.5K
	DefnBase.uo	14-Apr-2005 09:00	5.7K
	DerivedBddRules.sig	28-Mar-2002 08:09	2.4K
	DerivedBddRules.ui	14-Apr-2005 09:17	20K
	DerivedBddRules.uo	14-Apr-2005 09:17	52K
	Diff.sig	07-Oct-2003 07:56	94
	Diff.ui	14-Apr-2005 09:11	2.9K
	Diff.uo	14-Apr-2005 09:12	17K
	Drule.sig	05-Aug-2004 01:11	3.6K
	Drule.ui	14-Apr-2005 09:00	32K
	Drule.uo	14-Apr-2005 09:00	121K
	EmitML.sig	16-Jan-2005 21:27	1.8K
	EmitML.ui	14-Apr-2005 09:00	27K
	EmitML.uo	14-Apr-2005 09:00	65K
	Encode.sig	12-Aug-2002 17:52	428
	Encode.ui	14-Apr-2005 09:07	786
	Encode.uo	14-Apr-2005 09:07	28K
	EncodeTheory.sig	14-Apr-2005 09:06	16K
	EncodeTheory.ui	14-Apr-2005 09:06	15K
	EncodeTheory.uo	14-Apr-2005 09:06	315K
	EncodeVarTheory.sig	14-Apr-2005 09:07	2.4K
	EncodeVarTheory.ui	14-Apr-2005 09:07	4.3K
	EncodeVarTheory.uo	14-Apr-2005 09:07	99K
	EnumType.sig	03-Sep-2002 08:56	1.2K
	EnumType.ui	14-Apr-2005 09:03	15K
	EnumType.uo	14-Apr-2005 09:03	34K
	EquivType.sig	28-Jun-1999 08:45	304
	EquivType.ui	14-Apr-2005 09:03	4.8K
	EquivType.uo	14-Apr-2005 09:03	42K
	EvalRef.sig	31-Jul-2003 15:12	60
	EvalRef.ui	14-Apr-2005 09:03	1.2K
	EvalRef.uo	14-Apr-2005 09:03	588
	Exists_arith.sig	02-Dec-1999 04:44	72
	Exists_arith.ui	14-Apr-2005 09:02	1.8K
	Exists_arith.uo	14-Apr-2005 09:02	12K
	Feedback.sig	16-Aug-2004 20:35	2.1K
	Feedback.ui	14-Apr-2005 09:00	14K
	Feedback.uo	14-Apr-2005 09:00	25K
	Functional.sig	20-Jun-2001 08:06	332
	Functional.ui	14-Apr-2005 09:01	4.1K
	Functional.uo	14-Apr-2005 09:02	22K
	Gen_arith.sig	02-Dec-1999 04:44	165
	Gen_arith.ui	14-Apr-2005 09:02	3.4K
	Gen_arith.uo	14-Apr-2005 09:02	9.1K
	Globals.sig	25-Oct-2004 01:44	1.2K
	Globals.ui	14-Apr-2005 09:00	7.8K
	Globals.uo	14-Apr-2005 09:00	6.9K
	GoalstackPure.sig	16-Nov-2000 05:39	1.7K
	GoalstackPure.ui	14-Apr-2005 09:00	20K
	GoalstackPure.uo	14-Apr-2005 09:00	12K
	GrammarSpecials.sig	07-Oct-2003 07:56	878
	GrammarSpecials.ui	14-Apr-2005 09:00	6.7K
	GrammarSpecials.uo	14-Apr-2005 09:00	6.5K
	HOLgrammars.sig	10-Feb-2001 04:23	166
	HOLgrammars.ui	14-Apr-2005 09:00	2.3K
	HOLgrammars.uo	14-Apr-2005 09:00	931
	HOLset.sig	16-Aug-2004 20:35	31
	HOLset.ui	14-Apr-2005 09:00	12K
	HOLset.uo	14-Apr-2005 09:00	4.9K
	HOLtokens.sig	10-Feb-2001 01:57	352
	HOLtokens.ui	14-Apr-2005 09:00	3.6K
	HOLtokens.uo	14-Apr-2005 09:00	2.5K
	History.sig	16-Nov-2000 05:39	345
	History.ui	14-Apr-2005 09:00	3.1K
	History.uo	14-Apr-2005 09:00	2.5K
	Ho_Net.sig	06-Nov-2000 06:07	643
	Ho_Net.ui	14-Apr-2005 09:00	3.5K
	Ho_Net.uo	14-Apr-2005 09:00	8.1K
	Ho_Rewrite.sig	04-Dec-2001 17:32	2.2K
	Ho_Rewrite.ui	14-Apr-2005 09:00	23K
	Ho_Rewrite.uo	14-Apr-2005 09:00	31K
	HolBddLib.ui	14-Apr-2005 09:17	43K
	HolBddLib.uo	14-Apr-2005 09:17	950
	HolKernel.ui	14-Apr-2005 09:00	127K
	HolKernel.uo	14-Apr-2005 09:00	49K
	HolSatLib.sig	14-Sep-2001 08:41	2.0K
	HolSatLib.ui	14-Apr-2005 09:17	6.2K
	HolSatLib.uo	14-Apr-2005 09:17	40K
	Hol_pp.sig	14-Dec-2001 08:26	1.0K
	Hol_pp.ui	14-Apr-2005 09:00	7.3K
	Hol_pp.uo	14-Apr-2005 09:00	5.1K
	IndDefLib.sig	05-Jun-2001 10:37	295
	IndDefLib.ui	14-Apr-2005 09:03	24K
	IndDefLib.uo	14-Apr-2005 09:03	8.2K
	IndDefRules.sig	05-Jan-2001 03:38	235
	IndDefRules.ui	14-Apr-2005 09:03	14K
	IndDefRules.uo	14-Apr-2005 09:03	41K
	Induction.sig	17-Jun-2002 04:30	238
	Induction.ui	14-Apr-2005 09:01	14K
	Induction.uo	14-Apr-2005 09:02	25K
	InductiveDefinition.sig	05-Jan-2001 03:38	1.0K
	InductiveDefinition.ui	14-Apr-2005 09:03	15K
	InductiveDefinition.uo	14-Apr-2005 09:03	80K
	Instance.sig	02-Dec-1999 04:45	122
	Instance.ui	14-Apr-2005 09:02	2.7K
	Instance.uo	14-Apr-2005 09:02	2.0K
	IntDP_Munge.sig	31-May-2002 07:21	1.8K
	IntDP_Munge.ui	14-Apr-2005 09:10	15K
	IntDP_Munge.uo	14-Apr-2005 09:10	54K
	Int_extra.sig	19-Oct-2003 08:34	114
	Int_extra.ui	14-Apr-2005 09:02	1.8K
	Int_extra.uo	14-Apr-2005 09:02	2.2K
	KernelTypes.sig	23-Oct-2001 15:03	2.4K
	KernelTypes.ui	14-Apr-2005 09:00	13K
	KernelTypes.uo	14-Apr-2005 09:00	3.3K
	Lexis.sig	16-Aug-2004 20:35	1.0K
	Lexis.ui	14-Apr-2005 09:00	6.6K
	Lexis.uo	14-Apr-2005 09:00	22K
	Lib.sig	23-Aug-2004 20:29	6.0K
	Lib.ui	14-Apr-2005 09:00	45K
	Lib.uo	14-Apr-2005 09:00	38K
	Lift.sig	21-May-2004 17:08	234
	Lift.ui	14-Apr-2005 09:03	14K
	Lift.uo	14-Apr-2005 09:03	15K
	ListConv1.sig	10-Dec-1999 06:28	1.2K
	ListConv1.ui	14-Apr-2005 09:03	12K
	ListConv1.uo	14-Apr-2005 09:03	113K
	Literal.sig	10-Feb-2001 02:03	661
	Literal.ui	14-Apr-2005 09:00	4.8K
	Literal.uo	14-Apr-2005 09:00	12K
	MachineTransitionTheory.sig	14-Apr-2005 09:17	15K
	MachineTransitionTheory.ui	14-Apr-2005 09:17	14K
	MachineTransitionTheory.uo	14-Apr-2005 09:18	313K
	MakeBigTerm.ui	14-Apr-2005 09:00	156K
	MakeBigTerm.uo	14-Apr-2005 09:00	7.7K
	MuddyCore.ui	14-Apr-2005 09:17	7.9K
	MuddyCore.uo	14-Apr-2005 09:17	2.7K
	Mutual.sig	04-Aug-2004 22:29	1.1K
	Mutual.ui	14-Apr-2005 09:00	13K
	Mutual.uo	14-Apr-2005 09:00	24K
	Net-sig.ui	14-Apr-2005 09:00	6.2K
	Net-sig.uo	14-Apr-2005 09:00	208
	Net.sig	28-May-2002 04:56	3.9K
	Net.ui	14-Apr-2005 09:00	16K
	Net.uo	14-Apr-2005 09:00	7.6K
	NonRecSize.ui	14-Apr-2005 09:02	1.7K
	NonRecSize.uo	14-Apr-2005 09:02	16K
	Norm_arith.sig	19-Oct-2003 08:34	672
	Norm_arith.ui	14-Apr-2005 09:02	6.7K
	Norm_arith.uo	14-Apr-2005 09:02	35K
	Norm_bool.sig	02-Dec-1999 04:45	257
	Norm_bool.ui	14-Apr-2005 09:02	3.4K
	Norm_bool.uo	14-Apr-2005 09:02	10K
	Norm_ineqs.sig	19-Oct-2003 08:34	285
	Norm_ineqs.ui	14-Apr-2005 09:02	4.5K
	Norm_ineqs.uo	14-Apr-2005 09:02	8.8K
	Num_conv.sig	03-Dec-1999 05:35	831
	Num_conv.ui	14-Apr-2005 09:02	1.2K
	Num_conv.uo	14-Apr-2005 09:02	7.1K
	OldAbbrevTactics.sig	06-Jul-2004 21:53	200
	OldAbbrevTactics.ui	14-Apr-2005 09:01	13K
	OldAbbrevTactics.uo	14-Apr-2005 09:01	5.9K
	Omega.sig	17-Jan-2002 01:01	120
	Omega.ui	14-Apr-2005 09:10	13K
	Omega.uo	14-Apr-2005 09:10	1.7K
	OmegaMLShadow.sig	04-Apr-2002 03:21	1.1K
	OmegaMLShadow.ui	14-Apr-2005 09:10	20K
	OmegaMLShadow.uo	14-Apr-2005 09:10	37K
	OmegaMath.sig	06-Mar-2002 10:02	5.8K
	OmegaMath.ui	14-Apr-2005 09:09	16K
	OmegaMath.uo	14-Apr-2005 09:11	110K
	OmegaShell.sig	17-Jan-2002 01:01	165
	OmegaShell.ui	14-Apr-2005 09:10	13K
	OmegaShell.uo	14-Apr-2005 09:11	11K
	OmegaSimple.sig	04-Apr-2002 03:21	2.4K
	OmegaSimple.ui	14-Apr-2005 09:11	17K
	OmegaSimple.uo	14-Apr-2005 09:11	21K
	OmegaSymbolic.sig	07-Oct-2003 07:56	802
	OmegaSymbolic.ui	14-Apr-2005 09:11	13K
	OmegaSymbolic.uo	14-Apr-2005 09:11	65K
	OmegaTheory.sig	14-Apr-2005 09:11	27K
	OmegaTheory.ui	14-Apr-2005 09:11	18K
	OmegaTheory.uo	14-Apr-2005 09:11	511K
	Omega_AutomataTheory.sig	14-Apr-2005 09:24	31K
	Omega_AutomataTheory.ui	14-Apr-2005 09:24	9.5K
	Omega_AutomataTheory.uo	14-Apr-2005 09:24	204K
	Opening.sig	16-Nov-2000 06:02	3.8K
	Opening.ui	14-Apr-2005 09:01	15K
	Opening.uo	14-Apr-2005 09:01	15K
	Overlay.ui	14-Apr-2005 09:00	69K
	Overlay.uo	14-Apr-2005 09:00	3.6K
	Overload.sig	15-Jan-2004 15:13	1.6K
	Overload.ui	14-Apr-2005 09:00	9.9K
	Overload.uo	14-Apr-2005 09:00	24K
	PFset_conv.sig	29-Apr-1999 10:54	240
	PFset_conv.ui	14-Apr-2005 09:04	3.1K
	PFset_conv.uo	14-Apr-2005 09:05	33K
	PGspec.sig	29-Apr-1999 10:54	91
	PGspec.ui	14-Apr-2005 09:04	2.2K
	PGspec.uo	14-Apr-2005 09:04	23K
	PIntMap.sig	07-Oct-2003 07:55	1.2K
	PIntMap.ui	14-Apr-2005 09:00	6.6K
	PIntMap.uo	14-Apr-2005 09:00	7.5K
	PSet_ind.sig	29-Apr-1999 10:54	104
	PSet_ind.ui	14-Apr-2005 09:04	3.4K
	PSet_ind.uo	14-Apr-2005 09:04	8.0K
	PairRules.sig	28-Nov-2001 06:37	4.6K
	PairRules.ui	14-Apr-2005 09:01	36K
	PairRules.uo	14-Apr-2005 09:01	213K
	PairedLambda.sig	27-Dec-2000 11:28	244
	PairedLambda.ui	14-Apr-2005 09:01	13K
	PairedLambda.uo	14-Apr-2005 09:01	16K
	Parse.sig	06-Jan-2005 17:33	9.0K
	Parse.ui	14-Apr-2005 09:00	69K
	Parse.uo	14-Apr-2005 09:00	126K
	ParseDatatype.sig	04-Jul-2004 21:35	1.2K
	ParseDatatype.ui	14-Apr-2005 09:00	7.3K
	ParseDatatype.uo	14-Apr-2005 09:00	13K
	Parse_support.sig	25-Sep-2002 09:48	1.9K
	Parse_support.ui	14-Apr-2005 09:00	23K
	Parse_support.uo	14-Apr-2005 09:00	30K
	Past_Temporal_LogicTheory.sig	14-Apr-2005 09:23	37K
	Past_Temporal_LogicTheory.ui	14-Apr-2005 09:23	10K
	Past_Temporal_LogicTheory.uo	14-Apr-2005 09:23	195K
	Pmatch.sig	03-May-2001 11:05	394
	Pmatch.ui	14-Apr-2005 09:00	4.7K
	Pmatch.uo	14-Apr-2005 09:00	22K
	Portable.sig	11-Jan-2004 21:08	2.4K
	Portable.ui	14-Apr-2005 09:00	22K
	Portable.uo	14-Apr-2005 09:00	16K
	PreListEncode.sig	12-Aug-2002 17:52	355
	PreListEncode.ui	14-Apr-2005 09:07	802
	PreListEncode.uo	14-Apr-2005 09:07	12K
	Prenex.sig	02-Dec-1999 04:45	97
	Prenex.ui	14-Apr-2005 09:02	2.5K
	Prenex.uo	14-Apr-2005 09:02	11K
	Preterm.sig	25-Sep-2002 09:48	2.1K
	Preterm.ui	14-Apr-2005 09:00	14K
	Preterm.uo	14-Apr-2005 09:00	38K
	Pretype.sig	07-Oct-2003 07:56	1.5K
	Pretype.ui	14-Apr-2005 09:00	9.2K
	Pretype.uo	14-Apr-2005 09:00	13K
	Prim_rec.sig	04-Dec-2001 17:32	2.1K
	Prim_rec.ui	14-Apr-2005 09:00	17K
	Prim_rec.uo	14-Apr-2005 09:00	140K
	PrimitiveBddRules.sig	11-Jan-2005 08:20	2.2K
	PrimitiveBddRules.ui	14-Apr-2005 09:17	17K
	PrimitiveBddRules.uo	14-Apr-2005 09:18	37K
	PrintBdd.sig	28-Mar-2002 07:54	251
	PrintBdd.ui	14-Apr-2005 09:17	2.9K
	PrintBdd.uo	14-Apr-2005 09:18	9.9K
	Profile.sig	13-Mar-2003 16:52	558
	Profile.ui	14-Apr-2005 09:00	5.1K
	Profile.uo	14-Apr-2005 09:00	6.4K
	Psyntax.sig	16-Nov-2000 05:28	1.9K
	Psyntax.ui	14-Apr-2005 09:00	16K
	Psyntax.uo	14-Apr-2005 09:00	9.2K
	Q.sig	07-Jul-2004 02:26	2.9K
	Q.ui	14-Apr-2005 09:01	26K
	Q.uo	14-Apr-2005 09:01	43K
	QLib.ui	14-Apr-2005 09:01	802
	QLib.uo	14-Apr-2005 09:01	368
	README	29-Apr-1999 10:59	104
	RJBConv.sig	12-Oct-2001 12:37	503
	RJBConv.ui	14-Apr-2005 09:02	15K
	RJBConv.uo	14-Apr-2005 09:02	3.7K
	RW.sig	20-Nov-2000 05:00	3.9K
	RW.ui	14-Apr-2005 09:02	29K
	RW.uo	14-Apr-2005 09:02	60K
	Rationals.sig	19-Oct-2003 08:34	597
	Rationals.ui	14-Apr-2005 09:02	6.0K
	Rationals.uo	14-Apr-2005 09:02	13K
	Raw-sig.ui	14-Apr-2005 09:00	89K
	Raw-sig.uo	14-Apr-2005 09:00	568
	Raw.sig	27-Nov-2004 01:57	13K
	RealArith.sig	16-Apr-2004 00:50	586
	RealArith.ui	14-Apr-2005 09:12	4.6K
	RealArith.uo	14-Apr-2005 09:12	181K
	RecordType.sig	27-Sep-2004 11:26	680
	RecordType.ui	14-Apr-2005 09:03	15K
	RecordType.uo	14-Apr-2005 09:03	45K
	Redblackmap.sig	13-Dec-2002 01:27	35
	Redblackmap.ui	14-Apr-2005 09:00	9.7K
	Redblackmap.uo	14-Apr-2005 09:00	10K
	Redblackset.sig	14-Dec-2001 08:45	3.3K
	Redblackset.ui	14-Apr-2005 09:00	11K
	Redblackset.uo	14-Apr-2005 09:00	17K
	Rewrite.sig	01-Jul-2003 20:00	2.5K
	Rewrite.ui	14-Apr-2005 09:00	25K
	Rewrite.uo	14-Apr-2005 09:00	27K
	Rsyntax.sig	16-Aug-2002 15:24	2.5K
	Rsyntax.ui	14-Apr-2005 09:00	20K
	Rsyntax.uo	14-Apr-2005 09:00	11K
	Rules.sig	17-Mar-2000 10:37	827
	Rules.ui	14-Apr-2005 09:01	8.0K
	Rules.uo	14-Apr-2005 09:02	12K
	SRCFILES	14-Apr-2005 09:24	21K
	SatSolvers.ui	14-Apr-2005 09:17	3.9K
	SatSolvers.uo	14-Apr-2005 09:17	4.5K
	Satisfy.sig	29-Apr-1999 10:55	2.0K
	Satisfy.ui	14-Apr-2005 09:01	6.2K
	Satisfy.uo	14-Apr-2005 09:01	10K
	SatisfySimps.sig	16-Nov-2000 06:02	121
	SatisfySimps.ui	14-Apr-2005 09:01	10K
	SatisfySimps.uo	14-Apr-2005 09:01	1.8K
	ScaledTests.ui	14-Apr-2005 09:00	4.0K
	ScaledTests.uo	14-Apr-2005 09:00	3.2K
	Sequence.sig	29-Apr-1999 10:55	1.4K
	Sequence.ui	14-Apr-2005 09:01	11K
	Sequence.uo	14-Apr-2005 09:01	12K
	Sig.ui	14-Apr-2005 09:00	18K
	Sig.uo	14-Apr-2005 09:00	4.6K
	SingleStep.sig	04-Aug-2004 22:33	899
	SingleStep.ui	14-Apr-2005 09:02	15K
	SingleStep.uo	14-Apr-2005 09:02	43K
	Sol_ranges.sig	19-Oct-2003 08:34	128
	Sol_ranges.ui	14-Apr-2005 09:02	2.6K
	Sol_ranges.uo	14-Apr-2005 09:02	11K
	Solve.sig	02-Dec-1999 04:45	341
	Solve.ui	14-Apr-2005 09:02	4.1K
	Solve.uo	14-Apr-2005 09:02	12K
	Solve_ineqs.sig	19-Oct-2003 08:34	550
	Solve_ineqs.ui	14-Apr-2005 09:02	6.9K
	Solve_ineqs.uo	14-Apr-2005 09:02	25K
	Streams.sig	02-Dec-1999 04:45	462
	Streams.ui	14-Apr-2005 09:02	4.2K
	Streams.uo	14-Apr-2005 09:02	4.4K
	Sub_and_cond.sig	02-Dec-1999 04:45	113
	Sub_and_cond.ui	14-Apr-2005 09:02	2.0K
	Sub_and_cond.uo	14-Apr-2005 09:02	7.8K
	Subst.sig	01-Nov-2000 12:12	353
	Subst.ui	14-Apr-2005 09:00	4.7K
	Subst.uo	14-Apr-2005 09:00	2.8K
	Sup_Inf.sig	19-Oct-2003 08:34	680
	Sup_Inf.ui	14-Apr-2005 09:02	6.3K
	Sup_Inf.uo	14-Apr-2005 09:02	25K
	Systeml.sig	14-Apr-2005 09:00	820
	Systeml.ui	14-Apr-2005 09:00	5.2K
	Systeml.uo	14-Apr-2005 09:00	14K
	Tactic.sig	28-Aug-2002 06:07	2.6K
	Tactic.ui	14-Apr-2005 09:00	27K
	Tactic.uo	14-Apr-2005 09:00	57K
	Tactical.sig	12-Jan-2005 03:57	1.5K
	Tactical.ui	14-Apr-2005 09:00	22K
	Tactical.uo	14-Apr-2005 09:00	21K
	Tag-sig.ui	14-Apr-2005 09:00	2.9K
	Tag-sig.uo	14-Apr-2005 09:00	272
	Tag.sig	27-Nov-2004 01:57	227
	Tag.ui	14-Apr-2005 09:00	5.8K
	Tag.uo	14-Apr-2005 09:00	4.5K
	Temporal_LogicTheory.sig	14-Apr-2005 09:23	27K
	Temporal_LogicTheory.ui	14-Apr-2005 09:23	30K
	Temporal_LogicTheory.uo	14-Apr-2005 09:23	209K
	Term-sig.ui	14-Apr-2005 09:00	20K
	Term-sig.uo	14-Apr-2005 09:00	324
	Term.sig	28-May-2002 04:56	3.2K
	Term.ui	14-Apr-2005 09:00	50K
	Term.uo	14-Apr-2005 09:00	31K
	Term_coeffs.sig	19-Oct-2003 08:34	1.0K
	Term_coeffs.ui	14-Apr-2005 09:02	9.8K
	Term_coeffs.uo	14-Apr-2005 09:02	13K
	Theorems.sig	02-Dec-1999 04:45	606
	Theorems.ui	14-Apr-2005 09:02	4.6K
	Theorems.uo	14-Apr-2005 09:02	10K
	Theory-sig.ui	14-Apr-2005 09:00	11K
	Theory-sig.uo	14-Apr-2005 09:00	332
	Theory.sig	11-Jan-2004 21:08	1.9K
	Theory.ui	14-Apr-2005 09:00	25K
	Theory.uo	14-Apr-2005 09:00	29K
	TheoryPP-sig.ui	14-Apr-2005 09:00	7.1K
	TheoryPP-sig.uo	14-Apr-2005 09:00	332
	TheoryPP.sig	27-Nov-2004 01:57	1.4K
	TheoryPP.ui	14-Apr-2005 09:00	13K
	TheoryPP.uo	14-Apr-2005 09:00	22K
	Thm-sig.ui	14-Apr-2005 09:00	15K
	Thm-sig.uo	14-Apr-2005 09:00	324
	Thm.sig	28-May-2002 04:56	2.7K
	Thm.ui	14-Apr-2005 09:00	26K
	Thm.uo	14-Apr-2005 09:00	28K
	Thm_cont.sig	04-Dec-2001 17:32	1.4K
	Thm_cont.ui	14-Apr-2005 09:00	19K
	Thm_cont.uo	14-Apr-2005 09:00	18K
	Thm_convs.sig	02-Dec-1999 04:45	1.7K
	Thm_convs.ui	14-Apr-2005 09:02	9.9K
	Thm_convs.uo	14-Apr-2005 09:02	34K
	TotalDefn.sig	04-Aug-2004 22:33	780
	TotalDefn.ui	14-Apr-2005 09:02	16K
	TotalDefn.uo	14-Apr-2005 09:02	42K
	Trace.sig	17-Jul-2002 05:08	739
	Trace.ui	14-Apr-2005 09:01	17K
	Trace.uo	14-Apr-2005 09:01	8.9K
	Traverse.sig	16-Nov-2000 06:02	4.3K
	Traverse.ui	14-Apr-2005 09:01	20K
	Traverse.uo	14-Apr-2005 09:01	10K
	Travrules.sig	16-Nov-2000 06:02	3.8K
	Travrules.ui	14-Apr-2005 09:01	19K
	Travrules.uo	14-Apr-2005 09:01	5.7K
	Type-sig.ui	14-Apr-2005 09:00	12K
	Type-sig.uo	14-Apr-2005 09:00	264
	Type.sig	21-Apr-2002 21:23	1.9K
	Type.ui	14-Apr-2005 09:00	35K
	Type.uo	14-Apr-2005 09:00	10K
	TypeBase.sig	04-Jan-2005 03:43	1.8K
	TypeBase.ui	14-Apr-2005 09:00	17K
	TypeBase.uo	14-Apr-2005 09:00	16K
	TypeBasePure.sig	04-Jan-2005 03:43	3.8K
	TypeBasePure.ui	14-Apr-2005 09:00	24K
	TypeBasePure.uo	14-Apr-2005 09:00	52K
	Unify.sig	16-Nov-2000 06:02	754
	Unify.ui	14-Apr-2005 09:01	15K
	Unify.uo	14-Apr-2005 09:01	6.6K
	Unwind.sig	16-Nov-2000 06:02	2.7K
	Unwind.ui	14-Apr-2005 09:01	13K
	Unwind.uo	14-Apr-2005 09:01	27K
	Varmap.sig	28-Mar-2002 07:54	443
	Varmap.ui	14-Apr-2005 09:17	5.6K
	Varmap.uo	14-Apr-2005 09:18	3.9K
	abs_tools.ui	14-Apr-2005 09:08	362K
	abs_tools.uo	14-Apr-2005 09:08	3.9K
	abstraction.sig	19-Oct-2003 08:34	696
	abstraction.ui	14-Apr-2005 09:08	25K
	abstraction.uo	14-Apr-2005 09:08	27K
	arithmeticTheory.sig	14-Apr-2005 09:02	36K
	arithmeticTheory.ui	14-Apr-2005 09:02	54K
	arithmeticTheory.uo	14-Apr-2005 09:02	353K
	bagLib.sig	18-Jun-2001 08:12	1.1K
	bagLib.ui	14-Apr-2005 09:05	28K
	bagLib.uo	14-Apr-2005 09:06	7.2K
	bagSimps.sig	18-Jun-2001 08:12	1.2K
	bagSimps.ui	14-Apr-2005 09:06	21K
	bagSimps.uo	14-Apr-2005 09:06	19K
	bagSyntax.sig	18-Jun-2001 08:12	921
	bagSyntax.ui	14-Apr-2005 09:06	20K
	bagSyntax.uo	14-Apr-2005 09:06	17K
	bagTheory.sig	14-Apr-2005 09:06	31K
	bagTheory.ui	14-Apr-2005 09:06	38K
	bagTheory.uo	14-Apr-2005 09:06	306K
	base_lexer.ui	14-Apr-2005 09:00	52K
	base_lexer.uo	14-Apr-2005 09:00	57K
	base_tokens.sig	03-Sep-2002 10:20	297
	base_tokens.ui	14-Apr-2005 09:00	6.1K
	base_tokens.uo	14-Apr-2005 09:00	1.6K
	bdd.sig	05-Jul-2004 05:50	12K
	bdd.ui	14-Apr-2005 09:17	28K
	bdd.uo	14-Apr-2005 09:17	38K
	bddTools.ui	14-Apr-2005 09:18	26K
	bddTools.uo	14-Apr-2005 09:18	33K
	bitsTheory.sig	14-Apr-2005 09:07	11K
	bitsTheory.ui	14-Apr-2005 09:07	17K
	bitsTheory.uo	14-Apr-2005 09:07	141K
	boolLib.ui	14-Apr-2005 09:00	162K
	boolLib.uo	14-Apr-2005 09:00	21K
	boolSimps.sig	18-Mar-2004 21:34	2.5K
	boolSimps.ui	14-Apr-2005 09:01	9.3K
	boolSimps.uo	14-Apr-2005 09:01	30K
	boolSyntax.sig	05-Aug-2004 01:11	6.0K
	boolSyntax.ui	14-Apr-2005 09:00	37K
	boolSyntax.uo	14-Apr-2005 09:00	62K
	boolTheory.sig	14-Apr-2005 09:00	26K
	boolTheory.ui	14-Apr-2005 09:00	31K
	boolTheory.uo	14-Apr-2005 09:00	243K
	boolean_sequenceTheory.sig	14-Apr-2005 09:16	1.7K
	boolean_sequenceTheory.ui	14-Apr-2005 09:16	4.2K
	boolean_sequenceTheory.uo	14-Apr-2005 09:16	60K
	boolean_sequenceTools.sig	07-Oct-2003 07:56	103
	boolean_sequenceTools.ui	14-Apr-2005 09:16	4.6K
	boolean_sequenceTools.uo	14-Apr-2005 09:16	4.3K
	bossLib.sig	01-Jul-2003 20:00	2.4K
	bossLib.ui	14-Apr-2005 09:03	31K
	bossLib.uo	14-Apr-2005 09:03	16K
	bvec.sig	17-Oct-2001 01:17	2.5K
	bvec.ui	14-Apr-2005 09:17	11K
	bvec.uo	14-Apr-2005 09:17	11K
	bword_arithTheory.sig	14-Apr-2005 09:09	4.8K
	bword_arithTheory.ui	14-Apr-2005 09:09	4.9K
	bword_arithTheory.uo	14-Apr-2005 09:09	64K
	bword_bitopTheory.sig	14-Apr-2005 09:09	1.4K
	bword_bitopTheory.ui	14-Apr-2005 09:09	3.7K
	bword_bitopTheory.uo	14-Apr-2005 09:09	52K
	bword_numTheory.sig	14-Apr-2005 09:09	5.7K
	bword_numTheory.ui	14-Apr-2005 09:09	8.6K
	bword_numTheory.uo	14-Apr-2005 09:09	88K
	cacheTheory.sig	14-Apr-2005 09:21	6.5K
	cacheTheory.ui	14-Apr-2005 09:21	6.6K
	cacheTheory.uo	14-Apr-2005 09:21	94K
	cacheTools.ui	14-Apr-2005 09:21	54K
	cacheTools.uo	14-Apr-2005 09:21	135K
	canonicalTheory.sig	14-Apr-2005 09:08	39K
	canonicalTheory.ui	14-Apr-2005 09:08	24K
	canonicalTheory.uo	14-Apr-2005 09:08	464K
	cearTheory.sig	14-Apr-2005 09:22	9.1K
	cearTheory.ui	14-Apr-2005 09:22	8.1K
	cearTheory.uo	14-Apr-2005 09:22	208K
	cearTools.ui	14-Apr-2005 09:22	65K
	cearTools.uo	14-Apr-2005 09:22	200K
	clauses.ui	14-Apr-2005 09:00	24K
	clauses.uo	14-Apr-2005 09:00	11K
	combinSimps.sig	29-Apr-1999 10:56	68
	combinSimps.ui	14-Apr-2005 09:01	7.4K
	combinSimps.uo	14-Apr-2005 09:01	1.6K
	combinSyntax.sig	10-Jan-2005 04:26	1.1K
	combinSyntax.ui	14-Apr-2005 09:01	21K
	combinSyntax.uo	14-Apr-2005 09:01	18K
	combinTheory.sig	14-Apr-2005 09:01	2.4K
	combinTheory.ui	14-Apr-2005 09:01	6.1K
	combinTheory.uo	14-Apr-2005 09:01	100K
	computeLib.sig	18-Mar-2003 11:16	1.1K
	computeLib.ui	14-Apr-2005 09:00	20K
	computeLib.uo	14-Apr-2005 09:00	18K
	compute_rules.sig	16-Nov-2000 05:41	920
	compute_rules.ui	14-Apr-2005 09:00	18K
	compute_rules.uo	14-Apr-2005 09:00	8.4K
	containerTheory.sig	14-Apr-2005 09:06	4.0K
	containerTheory.ui	14-Apr-2005 09:06	12K
	containerTheory.uo	14-Apr-2005 09:06	86K
	ctl2muTheory.sig	14-Apr-2005 09:23	6.6K
	ctl2muTheory.ui	14-Apr-2005 09:23	6.5K
	ctl2muTheory.uo	14-Apr-2005 09:23	231K
	ctl2muTools.ui	14-Apr-2005 09:23	3.8K
	ctl2muTools.uo	14-Apr-2005 09:23	9.2K
	ctlCheck.ui	14-Apr-2005 09:23	23K
	ctlCheck.uo	14-Apr-2005 09:23	9.8K
	ctlSyntax.ui	14-Apr-2005 09:23	8.9K
	ctlSyntax.uo	14-Apr-2005 09:23	13K
	ctlTheory.sig	14-Apr-2005 09:22	70K
	ctlTheory.ui	14-Apr-2005 09:22	39K
	ctlTheory.uo	14-Apr-2005 09:22	1.0M
	ctlTools.ui	14-Apr-2005 09:23	12K
	ctlTools.uo	14-Apr-2005 09:23	24K
	decompTheory.sig	14-Apr-2005 09:22	1.1K
	decompTheory.ui	14-Apr-2005 09:22	2.2K
	decompTheory.uo	14-Apr-2005 09:22	58K
	defCNF.sig	09-Apr-2002 11:06	3.7K
	defCNF.ui	14-Apr-2005 09:17	13K
	defCNF.uo	14-Apr-2005 09:17	25K
	defCNFTheory.sig	14-Apr-2005 09:17	4.4K
	defCNFTheory.ui	14-Apr-2005 09:17	4.2K
	defCNFTheory.uo	14-Apr-2005 09:17	190K
	dividesTheory.sig	14-Apr-2005 09:02	2.3K
	dividesTheory.ui	14-Apr-2005 09:02	5.0K
	dividesTheory.uo	14-Apr-2005 09:02	44K
	envTheory.sig	14-Apr-2005 09:18	1.8K
	envTheory.ui	14-Apr-2005 09:18	3.9K
	envTheory.uo	14-Apr-2005 09:18	52K
	envTools.ui	14-Apr-2005 09:21	11K
	envTools.uo	14-Apr-2005 09:21	20K
	equations.ui	14-Apr-2005 09:00	26K
	equations.uo	14-Apr-2005 09:00	7.6K
	fastbuild.ui	14-Apr-2005 09:00	4.6K
	fastbuild.uo	14-Apr-2005 09:00	6.1K
	fdd.sig	17-Oct-2001 01:17	2.0K
	fdd.ui	14-Apr-2005 09:17	5.2K
	fdd.uo	14-Apr-2005 09:17	6.0K
	finite_mapSyntax.sig	07-Oct-2003 07:56	724
	finite_mapSyntax.ui	14-Apr-2005 09:05	17K
	finite_mapSyntax.uo	14-Apr-2005 09:05	13K
	finite_mapTheory.sig	14-Apr-2005 09:05	19K
	finite_mapTheory.ui	14-Apr-2005 09:05	30K
	finite_mapTheory.uo	14-Apr-2005 09:05	272K
	fixedPointTheory.sig	14-Apr-2005 09:05	3.7K
	fixedPointTheory.ui	14-Apr-2005 09:05	6.3K
	fixedPointTheory.uo	14-Apr-2005 09:05	83K
	floatTheory.sig	14-Apr-2005 09:15	26K
	floatTheory.ui	14-Apr-2005 09:15	30K
	floatTheory.uo	14-Apr-2005 09:15	302K
	folMapping.sig	07-Oct-2003 07:56	1.5K
	folMapping.ui	14-Apr-2005 09:01	12K
	folMapping.uo	14-Apr-2005 09:01	81K
	folTools.sig	08-Jun-2004 21:08	2.8K
	folTools.ui	14-Apr-2005 09:01	24K
	folTools.uo	14-Apr-2005 09:01	63K
	fragstr.sig	10-Feb-2001 04:23	1.0K
	fragstr.ui	14-Apr-2005 09:00	8.9K
	fragstr.uo	14-Apr-2005 09:00	18K
	fxpTheory.sig	14-Apr-2005 09:15	64K
	fxpTheory.ui	14-Apr-2005 09:15	52K
	fxpTheory.uo	14-Apr-2005 09:15	672K
	gcdTheory.sig	14-Apr-2005 09:03	4.6K
	gcdTheory.ui	14-Apr-2005 09:03	6.6K
	gcdTheory.uo	14-Apr-2005 09:03	75K
	goalstackLib.sig	16-Nov-2000 05:39	1.6K
	goalstackLib.ui	14-Apr-2005 09:00	21K
	goalstackLib.uo	14-Apr-2005 09:00	14K
	hol88Lib.sig	28-Nov-2000 11:41	3.4K
	hol88Lib.ui	14-Apr-2005 09:11	30K
	hol88Lib.uo	14-Apr-2005 09:11	18K
	holCheck.sig	12-Jan-2005 03:20	410
	holCheck.ui	14-Apr-2005 09:23	4.9K
	holCheck.uo	14-Apr-2005 09:23	11K
	holCheckLib.sig	12-Jan-2005 03:20	501
	holCheckLib.ui	14-Apr-2005 09:23	5.5K
	holCheckLib.uo	14-Apr-2005 09:23	1.0K
	holCheckTools.ui	14-Apr-2005 09:18	26K
	holCheckTools.uo	14-Apr-2005 09:18	27K
	holmake_interactive.ui	14-Apr-2005 09:00	806
	holmake_interactive.uo	14-Apr-2005 09:00	474
	holmakebuild.sig	27-Jun-2003 09:53	33
	holmakebuild.ui	14-Apr-2005 09:00	802
	holmakebuild.uo	14-Apr-2005 09:00	2.2K
	hratTheory.sig	14-Apr-2005 09:11	7.1K
	hratTheory.ui	14-Apr-2005 09:11	11K
	hratTheory.uo	14-Apr-2005 09:11	109K
	hrealTheory.sig	14-Apr-2005 09:11	10K
	hrealTheory.ui	14-Apr-2005 09:11	15K
	hrealTheory.uo	14-Apr-2005 09:11	111K
	ieeeTheory.sig	14-Apr-2005 09:13	29K
	ieeeTheory.ui	14-Apr-2005 09:13	26K
	ieeeTheory.uo	14-Apr-2005 09:13	445K
	ind_typeTheory.sig	14-Apr-2005 09:03	6.2K
	ind_typeTheory.ui	14-Apr-2005 09:03	8.9K
	ind_typeTheory.uo	14-Apr-2005 09:03	153K
	ind_types.sig	20-Nov-2000 04:31	208
	ind_types.ui	14-Apr-2005 09:03	14K
	ind_types.uo	14-Apr-2005 09:03	169K
	intLib.sig	15-Apr-2002 08:15	2.0K
	intLib.ui	14-Apr-2005 09:11	25K
	intLib.uo	14-Apr-2005 09:11	17K
	intSimps.sig	06-Nov-2001 03:08	569
	intSimps.ui	14-Apr-2005 09:10	9.5K
	intSimps.uo	14-Apr-2005 09:10	19K
	intSyntax.sig	15-Nov-2001 11:14	2.6K
	intSyntax.ui	14-Apr-2005 09:10	29K
	intSyntax.uo	14-Apr-2005 09:10	31K
	int_arithTheory.sig	14-Apr-2005 09:10	11K
	int_arithTheory.ui	14-Apr-2005 09:10	15K
	int_arithTheory.uo	14-Apr-2005 09:10	114K
	integerRingLib.sig	13-Nov-2001 11:09	233
	integerRingLib.ui	14-Apr-2005 09:11	13K
	integerRingLib.uo	14-Apr-2005 09:11	6.4K
	integerRingTheory.sig	14-Apr-2005 09:11	16K
	integerRingTheory.ui	14-Apr-2005 09:11	6.4K
	integerRingTheory.uo	14-Apr-2005 09:11	200K
	integerTheory.sig	14-Apr-2005 09:10	53K
	integerTheory.ui	14-Apr-2005 09:10	68K
	integerTheory.uo	14-Apr-2005 09:10	439K
	jrhCore.sig	13-Sep-2001 10:37	96
	jrhCore.ui	14-Apr-2005 09:11	13K
	jrhCore.uo	14-Apr-2005 09:11	34K
	jrhTactics.sig	13-Nov-2000 05:49	1.5K
	jrhTactics.ui	14-Apr-2005 09:01	21K
	jrhTactics.uo	14-Apr-2005 09:01	16K
	jrhUtils.sig	01-Dec-1999 12:10	770
	jrhUtils.ui	14-Apr-2005 09:09	9.0K
	jrhUtils.uo	14-Apr-2005 09:09	19K
	ksTheory.sig	14-Apr-2005 09:18	14K
	ksTheory.ui	14-Apr-2005 09:18	8.8K
	ksTheory.uo	14-Apr-2005 09:18	302K
	ksTools.ui	14-Apr-2005 09:21	19K
	ksTools.uo	14-Apr-2005 09:21	39K
	labelLib.sig	07-Oct-2003 07:56	3.6K
	labelLib.ui	14-Apr-2005 09:01	18K
	labelLib.uo	14-Apr-2005 09:01	13K
	labelTheory.sig	14-Apr-2005 09:01	319
	labelTheory.ui	14-Apr-2005 09:01	2.0K
	labelTheory.uo	14-Apr-2005 09:01	23K
	limTheory.sig	14-Apr-2005 09:12	14K
	limTheory.ui	14-Apr-2005 09:12	15K
	limTheory.uo	14-Apr-2005 09:12	135K
	listLib.sig	20-Nov-2000 04:32	4.6K
	listLib.ui	14-Apr-2005 09:03	33K
	listLib.uo	14-Apr-2005 09:03	19K
	listSimps.sig	20-Sep-2001 10:58	112
	listSimps.ui	14-Apr-2005 09:03	8.0K
	listSimps.uo	14-Apr-2005 09:03	3.2K
	listSyntax.sig	04-Aug-2003 13:43	4.0K
	listSyntax.ui	14-Apr-2005 09:03	38K
	listSyntax.uo	14-Apr-2005 09:03	52K
	listTheory.sig	14-Apr-2005 09:03	18K
	listTheory.ui	14-Apr-2005 09:03	29K
	listTheory.uo	14-Apr-2005 09:03	304K
	liteLib.sig	16-Nov-2000 05:41	5.4K
	liteLib.ui	14-Apr-2005 09:01	40K
	liteLib.uo	14-Apr-2005 09:01	39K
	llistTheory.sig	14-Apr-2005 09:08	16K
	llistTheory.ui	14-Apr-2005 09:08	25K
	llistTheory.uo	14-Apr-2005 09:08	315K
	locn.sig	16-Aug-2004 20:35	1.8K
	locn.ui	14-Apr-2005 09:00	6.0K
	locn.uo	14-Apr-2005 09:00	9.9K
	markerLib.sig	18-Aug-2004 20:19	2.9K
	markerLib.ui	14-Apr-2005 09:00	17K
	markerLib.uo	14-Apr-2005 09:00	16K
	markerTheory.sig	14-Apr-2005 09:00	1.8K
	markerTheory.ui	14-Apr-2005 09:00	3.5K
	markerTheory.uo	14-Apr-2005 09:00	36K
	matchTools.sig	07-Oct-2003 07:56	1.8K
	matchTools.ui	14-Apr-2005 09:01	11K
	matchTools.uo	14-Apr-2005 09:01	21K
	mesonLib.sig	07-Jul-1999 11:12	699
	mesonLib.ui	14-Apr-2005 09:01	7.1K
	mesonLib.uo	14-Apr-2005 09:01	75K
	metisLib.sig	19-Nov-2002 13:39	503
	metisLib.ui	14-Apr-2005 09:01	4.3K
	metisLib.uo	14-Apr-2005 09:01	844
	metisTools.sig	25-Jan-2004 20:05	2.4K
	metisTools.ui	14-Apr-2005 09:01	31K
	metisTools.uo	14-Apr-2005 09:01	43K
	mkword.ui	14-Apr-2005 09:07	559K
	mkword.uo	14-Apr-2005 09:07	12K
	mlibArbint.sig	14-Jan-2004 10:57	958
	mlibArbint.ui	14-Apr-2005 09:01	10K
	mlibArbint.uo	14-Apr-2005 09:01	14K
	mlibArbnum.sig	14-Jan-2004 10:57	927
	mlibArbnum.ui	14-Apr-2005 09:01	8.4K
	mlibArbnum.uo	14-Apr-2005 09:01	28K
	mlibCanon.sig	15-Jan-2005 03:02	1.4K
	mlibCanon.ui	14-Apr-2005 09:01	12K
	mlibCanon.uo	14-Apr-2005 09:01	24K
	mlibClause.sig	14-Jan-2004 10:57	3.0K
	mlibClause.ui	14-Apr-2005 09:01	25K
	mlibClause.uo	14-Apr-2005 09:01	56K
	mlibClauseset.sig	21-Jan-2004 16:16	1.8K
	mlibClauseset.ui	14-Apr-2005 09:01	13K
	mlibClauseset.uo	14-Apr-2005 09:01	46K
	mlibHeap.sig	26-May-2004 20:38	808
	mlibHeap.ui	14-Apr-2005 09:01	6.5K
	mlibHeap.uo	14-Apr-2005 09:01	4.3K
	mlibKernel.sig	14-Jan-2004 10:57	1.0K
	mlibKernel.ui	14-Apr-2005 09:01	10K
	mlibKernel.uo	14-Apr-2005 09:01	5.9K
	mlibLiteralnet.sig	14-Jan-2004 10:57	1.2K
	mlibLiteralnet.ui	14-Apr-2005 09:01	12K
	mlibLiteralnet.uo	14-Apr-2005 09:01	8.2K
	mlibMatch.sig	14-Jan-2004 10:57	1.0K
	mlibMatch.ui	14-Apr-2005 09:01	8.4K
	mlibMatch.uo	14-Apr-2005 09:01	8.9K
	mlibMeson.sig	14-Jan-2004 10:57	1.6K
	mlibMeson.ui	14-Apr-2005 09:01	6.3K
	mlibMeson.uo	14-Apr-2005 09:01	48K
	mlibMeter.sig	21-Jan-2004 16:16	1.2K
	mlibMeter.ui	14-Apr-2005 09:01	7.2K
	mlibMeter.uo	14-Apr-2005 09:01	8.1K
	mlibMetis.sig	08-Jun-2004 21:08	1.8K
	mlibMetis.ui	14-Apr-2005 09:01	29K
	mlibMetis.uo	14-Apr-2005 09:01	23K
	mlibModel.sig	21-Jan-2004 16:16	2.1K
	mlibModel.ui	14-Apr-2005 09:01	14K
	mlibModel.uo	14-Apr-2005 09:01	50K
	mlibMultiset.sig	14-Jan-2004 10:57	1.3K
	mlibMultiset.ui	14-Apr-2005 09:01	11K
	mlibMultiset.uo	14-Apr-2005 09:01	8.4K
	mlibOmega.sig	14-Jan-2004 10:57	1.6K
	mlibOmega.ui	14-Apr-2005 09:01	9.3K
	mlibOmega.uo	14-Apr-2005 09:01	41K
	mlibOmegaint.sig	14-Jan-2004 10:57	848
	mlibOmegaint.ui	14-Apr-2005 09:01	9.5K
	mlibOmegaint.uo	14-Apr-2005 09:01	7.8K
	mlibParser.sig	15-Jan-2005 03:02	2.6K
	mlibParser.ui	14-Apr-2005 09:01	21K
	mlibParser.uo	14-Apr-2005 09:01	19K
	mlibPatricia.sig	14-Jan-2004 10:57	1.5K
	mlibPatricia.ui	14-Apr-2005 09:01	7.1K
	mlibPatricia.uo	14-Apr-2005 09:01	7.8K
	mlibPortable.sig	14-Jan-2004 10:57	614
	mlibPortable.ui	14-Apr-2005 09:01	2.3K
	mlibPortable.uo	14-Apr-2005 09:01	1.6K
	mlibResolution.sig	14-Jan-2004 10:57	1.8K
	mlibResolution.ui	14-Apr-2005 09:01	19K
	mlibResolution.uo	14-Apr-2005 09:01	20K
	mlibRewrite.sig	14-Jan-2004 10:57	1.3K
	mlibRewrite.ui	14-Apr-2005 09:01	11K
	mlibRewrite.uo	14-Apr-2005 09:01	35K
	mlibSolver.sig	14-Jan-2004 10:57	2.6K
	mlibSolver.ui	14-Apr-2005 09:01	19K
	mlibSolver.uo	14-Apr-2005 09:01	29K
	mlibStream.sig	15-Jan-2005 03:02	2.4K
	mlibStream.ui	14-Apr-2005 09:01	14K
	mlibStream.uo	14-Apr-2005 09:01	9.7K
	mlibSubst.sig	14-Jan-2004 10:57	1.3K
	mlibSubst.ui	14-Apr-2005 09:01	12K
	mlibSubst.uo	14-Apr-2005 09:01	12K
	mlibSubsume.sig	14-Jan-2004 10:57	1.2K
	mlibSubsume.ui	14-Apr-2005 09:01	13K
	mlibSubsume.uo	14-Apr-2005 09:01	17K
	mlibSupport.sig	14-Jan-2004 10:57	1.4K
	mlibSupport.ui	14-Apr-2005 09:01	15K
	mlibSupport.uo	14-Apr-2005 09:01	21K
	mlibTerm.sig	15-Jan-2005 03:02	5.1K
	mlibTerm.ui	14-Apr-2005 09:01	33K
	mlibTerm.uo	14-Apr-2005 09:01	65K
	mlibTermnet.sig	14-Jan-2004 10:57	1.1K
	mlibTermnet.ui	14-Apr-2005 09:01	9.2K
	mlibTermnet.uo	14-Apr-2005 09:01	23K
	mlibTermorder.sig	14-Jan-2004 10:57	1.3K
	mlibTermorder.ui	14-Apr-2005 09:01	10K
	mlibTermorder.uo	14-Apr-2005 09:01	39K
	mlibThm.sig	15-Jan-2005 03:02	2.7K
	mlibThm.ui	14-Apr-2005 09:01	27K
	mlibThm.uo	14-Apr-2005 09:01	57K
	mlibTptp.sig	08-Jun-2004 21:08	870
	mlibTptp.ui	14-Apr-2005 09:01	7.0K
	mlibTptp.uo	14-Apr-2005 09:01	43K
	mlibUnits.sig	23-Jun-2004 14:49	809
	mlibUnits.ui	14-Apr-2005 09:01	9.4K
	mlibUnits.uo	14-Apr-2005 09:01	11K
	mlibUseful.sig	15-Jan-2005 03:02	7.7K
	mlibUseful.ui	14-Apr-2005 09:01	57K
	mlibUseful.uo	14-Apr-2005 09:01	61K
	mnUtils.ui	14-Apr-2005 09:05	112K
	mnUtils.uo	14-Apr-2005 09:05	123K
	monadic_parse.sig	10-Feb-2001 04:23	1.9K
	monadic_parse.ui	14-Apr-2005 09:00	12K
	monadic_parse.uo	14-Apr-2005 09:00	18K
	muCheck.ui	14-Apr-2005 09:22	93K
	muCheck.uo	14-Apr-2005 09:22	164K
	muSyntax.ui	14-Apr-2005 09:21	24K
	muSyntax.uo	14-Apr-2005 09:21	95K
	muSyntaxTheory.sig	14-Apr-2005 09:19	38K
	muSyntaxTheory.ui	14-Apr-2005 09:19	23K
	muSyntaxTheory.uo	14-Apr-2005 09:19	388K
	muTheory.sig	14-Apr-2005 09:20	16K
	muTheory.ui	14-Apr-2005 09:20	10K
	muTheory.uo	14-Apr-2005 09:20	343K
	muTools.ui	14-Apr-2005 09:21	5.0K
	muTools.uo	14-Apr-2005 09:21	5.8K
	netsTheory.sig	14-Apr-2005 09:12	6.7K
	netsTheory.ui	14-Apr-2005 09:12	7.0K
	netsTheory.uo	14-Apr-2005 09:12	113K
	normalForms.sig	15-Jan-2005 03:02	15K
	normalForms.ui	14-Apr-2005 09:01	28K
	normalForms.uo	14-Apr-2005 09:01	144K
	normalFormsTest.sig	18-Jul-2002 12:15	661
	normalFormsTest.ui	14-Apr-2005 09:17	6.6K
	normalFormsTest.uo	14-Apr-2005 09:17	61K
	normalFormsTheory.sig	14-Apr-2005 09:01	761
	normalFormsTheory.ui	14-Apr-2005 09:01	2.6K
	normalFormsTheory.uo	14-Apr-2005 09:01	30K
	numLib.sig	01-Jul-2003 20:11	1.1K
	numLib.ui	14-Apr-2005 09:03	41K
	numLib.uo	14-Apr-2005 09:03	53K
	numRingLib.sig	24-Oct-2001 20:51	229
	numRingLib.ui	14-Apr-2005 09:08	13K
	numRingLib.uo	14-Apr-2005 09:08	3.3K
	numRingTheory.sig	14-Apr-2005 09:08	15K
	numRingTheory.ui	14-Apr-2005 09:08	5.6K
	numRingTheory.uo	14-Apr-2005 09:09	182K
	numSimps.sig	29-Nov-2002 16:11	1.7K
	numSimps.ui	14-Apr-2005 09:02	22K
	numSimps.uo	14-Apr-2005 09:02	61K
	numSyntax.sig	19-Jan-2005 06:44	3.6K
	numSyntax.ui	14-Apr-2005 09:02	37K
	numSyntax.uo	14-Apr-2005 09:02	43K
	numTheory.sig	14-Apr-2005 09:02	1.5K
	numTheory.ui	14-Apr-2005 09:02	3.7K
	numTheory.uo	14-Apr-2005 09:02	42K
	numeralTheory.sig	14-Apr-2005 09:02	9.9K
	numeralTheory.ui	14-Apr-2005 09:02	7.0K
	numeralTheory.uo	14-Apr-2005 09:02	109K
	numeral_bitsTheory.sig	14-Apr-2005 09:07	3.1K
	numeral_bitsTheory.ui	14-Apr-2005 09:07	3.4K
	numeral_bitsTheory.uo	14-Apr-2005 09:07	53K
	oneSyntax.sig	26-Jun-2003 17:12	215
	oneSyntax.ui	14-Apr-2005 09:02	13K
	oneSyntax.uo	14-Apr-2005 09:02	3.0K
	oneTheory.sig	14-Apr-2005 09:02	1.2K
	oneTheory.ui	14-Apr-2005 09:02	3.7K
	oneTheory.uo	14-Apr-2005 09:02	41K
	operatorTheory.sig	14-Apr-2005 09:03	1.4K
	operatorTheory.ui	14-Apr-2005 09:03	3.9K
	operatorTheory.uo	14-Apr-2005 09:03	53K
	optionLib.sig	26-Mar-2001 03:11	1.5K
	optionLib.ui	14-Apr-2005 09:02	21K
	optionLib.uo	14-Apr-2005 09:02	9.8K
	optionSimps.sig	05-Feb-2001 05:07	66
	optionSimps.ui	14-Apr-2005 09:02	7.4K
	optionSimps.uo	14-Apr-2005 09:02	718
	optionSyntax.sig	26-Jun-2003 17:21	1.4K
	optionSyntax.ui	14-Apr-2005 09:02	21K
	optionSyntax.uo	14-Apr-2005 09:02	20K
	optionTheory.sig	14-Apr-2005 09:02	5.2K
	optionTheory.ui	14-Apr-2005 09:02	14K
	optionTheory.uo	14-Apr-2005 09:02	94K
	optmonad.sig	10-Feb-2001 01:57	963
	optmonad.ui	14-Apr-2005 09:00	9.5K
	optmonad.uo	14-Apr-2005 09:00	5.7K
	pairLib.sig	09-Jul-2004 01:21	3.6K
	pairLib.ui	14-Apr-2005 09:01	31K
	pairLib.uo	14-Apr-2005 09:01	17K
	pairSimps.sig	02-Oct-2003 22:00	358
	pairSimps.ui	14-Apr-2005 09:01	7.6K
	pairSimps.uo	14-Apr-2005 09:01	2.9K
	pairSyntax.sig	19-Jan-2005 06:44	3.1K
	pairSyntax.ui	14-Apr-2005 09:01	33K
	pairSyntax.uo	14-Apr-2005 09:01	45K
	pairTheory.sig	14-Apr-2005 09:01	6.5K
	pairTheory.ui	14-Apr-2005 09:01	22K
	pairTheory.uo	14-Apr-2005 09:01	192K
	pairTools.sig	22-Feb-2002 10:51	400
	pairTools.ui	14-Apr-2005 09:01	15K
	pairTools.uo	14-Apr-2005 09:01	22K
	parse_term.sig	03-Sep-2002 10:20	698
	parse_term.ui	14-Apr-2005 09:00	19K
	parse_term.uo	14-Apr-2005 09:00	74K
	parse_type.sig	20-Sep-2002 08:18	912
	parse_type.ui	14-Apr-2005 09:00	5.6K
	parse_type.uo	14-Apr-2005 09:00	7.3K
	pathTheory.sig	14-Apr-2005 09:08	21K
	pathTheory.ui	14-Apr-2005 09:08	31K
	pathTheory.uo	14-Apr-2005 09:08	341K
	polyTheory.sig	14-Apr-2005 09:12	16K
	polyTheory.ui	14-Apr-2005 09:12	19K
	polyTheory.uo	14-Apr-2005 09:12	173K
	posetTheory.sig	14-Apr-2005 09:01	5.8K
	posetTheory.ui	14-Apr-2005 09:01	7.6K
	posetTheory.uo	14-Apr-2005 09:01	127K
	powserTheory.sig	14-Apr-2005 09:12	3.8K
	powserTheory.ui	14-Apr-2005 09:12	4.8K
	powserTheory.uo	14-Apr-2005 09:12	64K
	pred_setLib.sig	06-May-2002 10:49	365
	pred_setLib.ui	14-Apr-2005 09:05	20K
	pred_setLib.uo	14-Apr-2005 09:05	3.0K
	pred_setSimps.sig	06-May-2002 10:49	448
	pred_setSimps.ui	14-Apr-2005 09:05	7.8K
	pred_setSimps.uo	14-Apr-2005 09:05	1.7K
	pred_setSyntax.sig	23-Jun-2002 09:35	906
	pred_setSyntax.ui	14-Apr-2005 09:05	19K
	pred_setSyntax.uo	14-Apr-2005 09:05	12K
	pred_setTheory.sig	14-Apr-2005 09:05	43K
	pred_setTheory.ui	14-Apr-2005 09:05	62K
	pred_setTheory.uo	14-Apr-2005 09:05	494K
	prelimTheory.sig	14-Apr-2005 09:08	8.7K
	prelimTheory.ui	14-Apr-2005 09:08	8.3K
	prelimTheory.uo	14-Apr-2005 09:08	180K
	prim_recTheory.sig	14-Apr-2005 09:02	5.5K
	prim_recTheory.ui	14-Apr-2005 09:02	9.4K
	prim_recTheory.uo	14-Apr-2005 09:02	96K
	probLib.sig	27-Feb-2001 11:26	278
	probLib.ui	14-Apr-2005 09:16	6.2K
	probLib.uo	14-Apr-2005 09:17	1.9K
	probTheory.sig	14-Apr-2005 09:16	7.3K
	probTheory.ui	14-Apr-2005 09:16	9.9K
	probTheory.uo	14-Apr-2005 09:16	108K
	probTools.sig	27-Feb-2001 10:44	1.7K
	probTools.ui	14-Apr-2005 09:15	28K
	probTools.uo	14-Apr-2005 09:15	20K
	probUtil.sig	27-Feb-2001 11:26	1.7K
	probUtil.ui	14-Apr-2005 09:16	28K
	probUtil.uo	14-Apr-2005 09:16	20K
	prob_algebraTheory.sig	14-Apr-2005 09:16	6.3K
	prob_algebraTheory.ui	14-Apr-2005 09:16	9.1K
	prob_algebraTheory.uo	14-Apr-2005 09:16	99K
	prob_canonTheory.sig	14-Apr-2005 09:16	21K
	prob_canonTheory.ui	14-Apr-2005 09:16	21K
	prob_canonTheory.uo	14-Apr-2005 09:16	207K
	prob_canonTools.sig	07-Oct-2003 07:56	77
	prob_canonTools.ui	14-Apr-2005 09:16	1.2K
	prob_canonTools.uo	14-Apr-2005 09:16	2.2K
	prob_extraTheory.sig	14-Apr-2005 09:16	11K
	prob_extraTheory.ui	14-Apr-2005 09:16	17K
	prob_extraTheory.uo	14-Apr-2005 09:16	169K
	prob_extraTools.sig	07-Oct-2003 07:56	448
	prob_extraTools.ui	14-Apr-2005 09:16	5.3K
	prob_extraTools.uo	14-Apr-2005 09:16	11K
	prob_indepTheory.sig	14-Apr-2005 09:17	7.3K
	prob_indepTheory.ui	14-Apr-2005 09:17	8.1K
	prob_indepTheory.uo	14-Apr-2005 09:17	149K
	prob_pseudoTheory.sig	14-Apr-2005 09:17	1.1K
	prob_pseudoTheory.ui	14-Apr-2005 09:17	2.8K
	prob_pseudoTheory.uo	14-Apr-2005 09:17	41K
	prob_pseudoTools.sig	07-Oct-2003 07:56	131
	prob_pseudoTools.ui	14-Apr-2005 09:16	1.5K
	prob_pseudoTools.uo	14-Apr-2005 09:17	4.5K
	prob_uniformTheory.sig	14-Apr-2005 09:17	7.8K
	prob_uniformTheory.ui	14-Apr-2005 09:17	7.7K
	prob_uniformTheory.uo	14-Apr-2005 09:17	164K
	prob_uniformTools.sig	07-Oct-2003 07:56	83
	prob_uniformTools.ui	14-Apr-2005 09:16	1.3K
	prob_uniformTools.uo	14-Apr-2005 09:17	7.9K
	pureSimps.sig	07-Oct-2003 07:56	95
	pureSimps.ui	14-Apr-2005 09:01	7.7K
	pureSimps.uo	14-Apr-2005 09:01	1.1K
	qbuf.sig	03-Sep-2002 10:20	464
	qbuf.ui	14-Apr-2005 09:00	8.7K
	qbuf.uo	14-Apr-2005 09:00	7.5K
	quote.ui	14-Apr-2005 09:08	204K
	quote.uo	14-Apr-2005 09:08	10K
	quoteTheory.sig	14-Apr-2005 09:08	13K
	quoteTheory.ui	14-Apr-2005 09:08	9.9K
	quoteTheory.uo	14-Apr-2005 09:08	203K
	reachTheory.sig	14-Apr-2005 09:18	1.3K
	reachTheory.ui	14-Apr-2005 09:18	2.8K
	reachTheory.uo	14-Apr-2005 09:18	51K
	reachTools.ui	14-Apr-2005 09:23	11K
	reachTools.uo	14-Apr-2005 09:23	19K
	realLib.sig	29-Apr-1999 10:50	426
	realLib.ui	14-Apr-2005 09:12	6.4K
	realLib.uo	14-Apr-2005 09:13	2.1K
	realSimps.sig	05-Jan-2005 23:10	665
	realSimps.ui	14-Apr-2005 09:12	9.4K
	realSimps.uo	14-Apr-2005 09:12	82K
	realSyntax.sig	23-Apr-2004 00:03	2.3K
	realSyntax.ui	14-Apr-2005 09:12	27K
	realSyntax.uo	14-Apr-2005 09:12	27K
	realTheory.sig	14-Apr-2005 09:12	55K
	realTheory.ui	14-Apr-2005 09:12	88K
	realTheory.uo	14-Apr-2005 09:12	461K
	realaxTheory.sig	14-Apr-2005 09:11	13K
	realaxTheory.ui	14-Apr-2005 09:11	18K
	realaxTheory.uo	14-Apr-2005 09:11	161K
	reduceLib.sig	06-Feb-2001 10:06	785
	reduceLib.ui	14-Apr-2005 09:02	17K
	reduceLib.uo	14-Apr-2005 09:02	19K
	refuteLib.sig	06-Nov-2000 08:27	1.1K
	refuteLib.ui	14-Apr-2005 09:01	21K
	refuteLib.uo	14-Apr-2005 09:01	6.5K
	relationTheory.sig	14-Apr-2005 09:01	27K
	relationTheory.ui	14-Apr-2005 09:01	43K
	relationTheory.uo	14-Apr-2005 09:01	347K
	res_quanLib.sig	16-Nov-2001 16:38	59
	res_quanLib.ui	14-Apr-2005 09:05	35K
	res_quanLib.uo	14-Apr-2005 09:05	14K
	res_quanTheory.sig	14-Apr-2005 09:05	4.5K
	res_quanTheory.ui	14-Apr-2005 09:05	7.6K
	res_quanTheory.uo	14-Apr-2005 09:05	67K
	res_quanTools.sig	13-Aug-2002 15:02	3.7K
	res_quanTools.ui	14-Apr-2005 09:05	35K
	res_quanTools.uo	14-Apr-2005 09:05	56K
	rich_listSimps.sig	20-Sep-2001 10:58	74
	rich_listSimps.ui	14-Apr-2005 09:03	7.4K
	rich_listSimps.uo	14-Apr-2005 09:03	2.7K
	rich_listTheory.sig	14-Apr-2005 09:03	50K
	rich_listTheory.ui	14-Apr-2005 09:03	64K
	rich_listTheory.uo	14-Apr-2005 09:03	516K
	ringLib.sig	16-Jun-2002 23:48	1.6K
	ringLib.ui	14-Apr-2005 09:08	15K
	ringLib.uo	14-Apr-2005 09:08	24K
	ringNormTheory.sig	14-Apr-2005 09:08	25K
	ringNormTheory.ui	14-Apr-2005 09:08	19K
	ringNormTheory.uo	14-Apr-2005 09:08	307K
	ringTheory.sig	14-Apr-2005 09:08	18K
	ringTheory.ui	14-Apr-2005 09:08	17K
	ringTheory.uo	14-Apr-2005 09:08	254K
	schneiderUtils.sig	10-Jan-2000 07:16	2.0K
	schneiderUtils.ui	14-Apr-2005 09:23	17K
	schneiderUtils.uo	14-Apr-2005 09:23	50K
	semi_ringTheory.sig	14-Apr-2005 09:08	17K
	semi_ringTheory.ui	14-Apr-2005 09:08	17K
	semi_ringTheory.uo	14-Apr-2005 09:08	214K
	seq.sig	20-Aug-1999 10:56	1.1K
	seq.ui	14-Apr-2005 09:00	9.4K
	seq.uo	14-Apr-2005 09:00	11K
	seqTheory.sig	14-Apr-2005 09:12	12K
	seqTheory.ui	14-Apr-2005 09:12	15K
	seqTheory.uo	14-Apr-2005 09:12	138K
	seqmonad.sig	10-Feb-2001 01:57	853
	seqmonad.ui	14-Apr-2005 09:00	8.8K
	seqmonad.uo	14-Apr-2005 09:00	6.3K
	setLemmasTheory.sig	14-Apr-2005 09:18	6.4K
	setLemmasTheory.ui	14-Apr-2005 09:18	8.2K
	setLemmasTheory.uo	14-Apr-2005 09:18	105K
	simpLib.sig	01-Jul-2003 20:06	6.0K
	simpLib.ui	14-Apr-2005 09:01	23K
	simpLib.uo	14-Apr-2005 09:01	23K
	simpfrag.sig	03-Sep-2002 08:56	353
	simpfrag.ui	14-Apr-2005 09:00	15K
	simpfrag.uo	14-Apr-2005 09:00	658
	sortingTheory.sig	14-Apr-2005 09:04	8.0K
	sortingTheory.ui	14-Apr-2005 09:04	16K
	sortingTheory.uo	14-Apr-2005 09:04	152K
	state_transformerTheory.sig	14-Apr-2005 09:01	2.2K
	state_transformerTheory.ui	14-Apr-2005 09:01	5.4K
	state_transformerTheory.uo	14-Apr-2005 09:01	150K
	stmonad.sig	10-Feb-2001 04:23	344
	stmonad.ui	14-Apr-2005 09:00	4.4K
	stmonad.uo	14-Apr-2005 09:00	1.6K
	stringBinTree.ui	14-Apr-2005 09:18	5.8K
	stringBinTree.uo	14-Apr-2005 09:18	26K
	stringLib.sig	10-Feb-2001 07:02	1.1K
	stringLib.ui	14-Apr-2005 09:04	19K
	stringLib.uo	14-Apr-2005 09:04	14K
	stringML.sig	21-May-2004 15:05	310
	stringML.ui	14-Apr-2005 09:04	3.7K
	stringML.uo	14-Apr-2005 09:04	2.3K
	stringSimps.sig	10-Feb-2001 07:02	149
	stringSimps.ui	14-Apr-2005 09:04	20K
	stringSimps.uo	14-Apr-2005 09:04	3.4K
	stringSyntax.sig	26-Jun-2003 17:21	1.9K
	stringSyntax.ui	14-Apr-2005 09:04	23K
	stringSyntax.uo	14-Apr-2005 09:04	25K
	stringTheory.sig	14-Apr-2005 09:04	9.8K
	stringTheory.ui	14-Apr-2005 09:04	19K
	stringTheory.uo	14-Apr-2005 09:04	165K
	sumSimps.sig	06-Nov-2000 08:27	103
	sumSimps.ui	14-Apr-2005 09:01	8.0K
	sumSimps.uo	14-Apr-2005 09:01	2.2K
	sumSyntax.sig	31-Jul-2003 15:17	904
	sumSyntax.ui	14-Apr-2005 09:01	18K
	sumSyntax.uo	14-Apr-2005 09:01	12K
	sumTheory.sig	14-Apr-2005 09:01	3.4K
	sumTheory.ui	14-Apr-2005 09:01	13K
	sumTheory.uo	14-Apr-2005 09:01	93K
	tautLib.sig	14-Mar-2001 05:19	660
	tautLib.ui	14-Apr-2005 09:00	14K
	tautLib.uo	14-Apr-2005 09:00	47K
	temporalLib.sig	10-Jan-2000 07:16	515
	temporalLib.ui	14-Apr-2005 09:24	5.0K
	temporalLib.uo	14-Apr-2005 09:24	111K
	term_grammar.sig	29-Nov-2004 17:04	7.3K
	term_grammar.ui	14-Apr-2005 09:00	37K
	term_grammar.uo	14-Apr-2005 09:00	60K
	term_pp.sig	06-Jan-2005 17:33	281
	term_pp.ui	14-Apr-2005 09:00	3.3K
	term_pp.uo	14-Apr-2005 09:00	72K
	term_pp_types.sig	20-Apr-2001 11:27	302
	term_pp_types.ui	14-Apr-2005 09:00	4.0K
	term_pp_types.uo	14-Apr-2005 09:00	568
	term_tokens.sig	03-Sep-2002 10:20	545
	term_tokens.ui	14-Apr-2005 09:00	7.8K
	term_tokens.uo	14-Apr-2005 09:00	8.7K
	topologyTheory.sig	14-Apr-2005 09:12	7.6K
	topologyTheory.ui	14-Apr-2005 09:12	11K
	topologyTheory.uo	14-Apr-2005 09:12	140K
	transcTheory.sig	14-Apr-2005 09:13	31K
	transcTheory.ui	14-Apr-2005 09:13	39K
	transcTheory.uo	14-Apr-2005 09:13	287K
	type_grammar.sig	21-Jul-2004 01:01	1.2K
	type_grammar.ui	14-Apr-2005 09:00	9.0K
	type_grammar.uo	14-Apr-2005 09:00	17K
	type_pp.sig	23-Aug-2001 05:36	213
	type_pp.ui	14-Apr-2005 09:00	2.3K
	type_pp.uo	14-Apr-2005 09:00	7.4K
	type_tokens.sig	07-Oct-2003 07:56	633
	type_tokens.ui	14-Apr-2005 09:00	10K
	type_tokens.uo	14-Apr-2005 09:00	5.1K
	unwindLib.sig	29-Apr-1999 10:57	1.8K
	unwindLib.ui	14-Apr-2005 09:03	11K
	unwindLib.uo	14-Apr-2005 09:03	52K
	wfrecUtils.sig	20-Nov-2000 05:00	1.3K
	wfrecUtils.ui	14-Apr-2005 09:01	20K
	wfrecUtils.uo	14-Apr-2005 09:02	11K
	whileTheory.sig	14-Apr-2005 09:02	2.2K
	whileTheory.ui	14-Apr-2005 09:02	4.0K
	whileTheory.uo	14-Apr-2005 09:02	55K
	wordFunctor.ui	14-Apr-2005 09:07	550K
	wordFunctor.uo	14-Apr-2005 09:07	416K
	wordFunctorLib.ui	14-Apr-2005 09:07	24K
	wordFunctorLib.uo	14-Apr-2005 09:07	11K
	wordLib.sig	16-Nov-2001 16:43	916
	wordLib.ui	14-Apr-2005 09:09	15K
	wordLib.uo	14-Apr-2005 09:09	30K
	wordTheory.sig	14-Apr-2005 09:09	227
	wordTheory.ui	14-Apr-2005 09:09	1.9K
	wordTheory.uo	14-Apr-2005 09:09	18K
	wordUtil.sig	25-Feb-2004 07:46	928
	wordUtil.ui	14-Apr-2005 09:07	7.7K
	wordUtil.uo	14-Apr-2005 09:07	8.4K
	word_baseTheory.sig	14-Apr-2005 09:09	11K
	word_baseTheory.ui	14-Apr-2005 09:09	14K
	word_baseTheory.uo	14-Apr-2005 09:09	156K
	word_bitopTheory.sig	14-Apr-2005 09:09	8.5K
	word_bitopTheory.ui	14-Apr-2005 09:09	8.8K
	word_bitopTheory.uo	14-Apr-2005 09:09	145K
	word_numTheory.sig	14-Apr-2005 09:09	2.5K
	word_numTheory.ui	14-Apr-2005 09:09	4.8K
	word_numTheory.uo	14-Apr-2005 09:09	66K