Index of /ftp/hvg/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	Verilog.ps.gz	1996-04-11 09:58	90K
	Verilog.ps	1996-04-11 09:58	234K
	WW_report_389.ps.gz	1996-03-07 13:05	222K
	00Index	1996-02-26 14:51	26K
	form-math2-times.ps.gz	1996-02-26 14:48	114K
	form-math2-times.dvi.gz	1996-02-26 14:48	81K
	TkHolWorkbench.hug95.ps.gz	1995-06-10 17:08	139K
	STAPaper.ps.gz	1995-05-30 11:29	95K
	HoareLogicPaper.ps.gz	1995-05-30 11:26	73K
	HOLPaper.ps.gz	1995-05-30 11:22	106K
	Reflection.ps.gz	1995-02-15 12:13	157K
	Reflection.dvi.gz	1995-02-15 12:11	85K
	Banffpaper.dvi.gz	1995-01-27 10:44	68K
	MLinHOL.thesis.ps.gz	1994-11-11 17:11	534K
	MLinHOL.hug93.ps.gz	1994-10-19 12:25	75K
	EmbeddingPaper.dvi.gz	1994-09-27 15:12	44K
	Vista.ps.gz	1994-08-08 14:31	176K
	LitFabric.ps.gz	1994-07-27 20:23	170K
	fabric.ps.gz	1994-07-27 15:36	118K
	JimThesis/	1994-06-17 01:32	-
	PIinHOL.ps.gz	1994-05-25 19:51	71K
	zhol.ps.gz	1994-01-31 12:01	78K
	zhol.bib	1994-01-31 12:01	13K
	zhol.tex	1994-01-31 12:00	67K
	AlphaProg.dvi.gz	1994-01-04 16:37	21K
	AlphaProg.ps.gz	1994-01-04 16:37	51K
	AARM.dvi.gz	1994-01-04 16:37	23K
	AARM.ps.gz	1994-01-04 16:37	51K
	HoareLogicPaper.dvi.gz	1994-01-04 16:36	24K
	HOLPaper.dvi.gz	1994-01-04 16:36	42K
	STAPaper.dvi.gz	1994-01-04 16:36	35K
	HOL_and_Maple.ps.gz	1993-11-23 16:29	57K
	JVTthesis/	1993-11-12 11:22	-
	WW_report_306.ps.gz	1993-08-06 11:57	118K
	WW_report_300.ps.gz	1993-08-06 11:56	168K
	TransAssertions.ps.gz	1993-07-26 13:49	64K
	RecTypes.ps.gz	1993-07-08 14:26	91K
	RecTypes.dvi.gz	1993-07-08 14:26	47K
	DTTinHOL.ps.gz	1993-04-01 19:38	102K
	CCSinHOLUS.ps.gz	1993-01-25 17:57	106K
	CCSinHOLA4.ps.gz	1993-01-19 18:43	106K
	RuleInduction.ps.gz	1992-11-25 13:36	89K
	WhyCompilerSpec.ps.gz	1992-11-23 18:57	78K
	TypeQuantifiers.ps.gz	1992-11-04 16:06	64K
	EmbeddingPaper.ps.gz	1992-03-18 12:57	102K