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