Index of /ftp/hvg/papers

[ICO]NameLast modifiedSizeDescription

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

Apache/2.4.52 (Ubuntu) Server at www.ftp.cl.cam.ac.uk Port 80