This directory contains the following subdirectories:

and the following files:

name	title	size	hits	mdate
000a.htm	INDEX of PAPERS and PRESENTATIONS (86-95)	10328	2	1997-10-19
000b.htm	docarch - index of conversion scripts	1193	2	1995-07-26
029.htm	CREATIVE FOUNDATIONS FOR PROGRAM VERIFICATION	3702	2	1995-07-03
029.txt	...	3732		1995-06-27
034.htm	Foundations Proposal	6309	2	1995-07-26
034.txt	...	5642		1995-06-27
036.htm	Proof Theory in the VDM-SL standard	3321	3	1995-07-26
036.txt	...	2854		1995-06-27
037.htm	A New Axiomatisation of the Theory of Restricted Generality	14310	2	1995-07-26
037.txt	...	8541		1995-06-28
038.htm	Problems with Z	4555	3	1995-07-26
038.txt	...	3995		1995-07-07
039.htm	Further Developing T37	10874	2	1995-07-26
039.txt	...	7260		1995-06-27
040.htm	The Consistency of T37	10078	3	1995-07-26
040.txt	...	9060		1995-06-27
041.htm	Translating Z into HOL	11710	4	1995-07-26
041.txt	...	10551		1995-06-27
042.htm	Recursive Data Types in HOL	32153	2	1995-07-26
042.txt	...	29749		1995-06-27
048.htm	Problems in Logical Foundations for Computer Science	3056	3	1995-07-26
048.txt	...	3012		1995-06-27
049.htm	Application of Formal Methods in Industry	1725	1	1995-07-26
049.txt	...	1278		1995-06-27
050.txt	...	3184		1995-06-27
051.htm	Recursive Data Types in HOL (temp extensions)	4945	3	1995-07-26
051.txt	...	4269		1995-06-28
052.htm	Worked Example of Recursive Data Type Definition	75322	3	1995-07-26
052.txt	...	49762		1995-06-28
053.htm	A Combinatory Theory of Partial Functions	6464	2	1995-07-26
053.txt	...	5004		1995-06-28
054.htm	Presentation at Cambridge Computer Labs	12172	3	1995-07-26
054.txt	...	9057		1995-06-28
059.htm	The Calculus of Constructions in Miranda	4867	2	1995-07-26
059.txt	...	4335		1995-06-28
065.htm	The Abstract Syntax of Miranda	6460	4	1995-07-26
065.txt	...	5880		1995-06-28
069.htm	...	8128	1	1995-07-26
069.txt	...	7665		1995-06-28
070.htm	The Abstract Syntax of VDM in sml	9616	2	1995-07-26
070.txt	...	9132		1995-06-28
071.htm	The Concrete Syntax of VDM	4857	3	1995-07-26
071.txt	...	4333		1995-06-28
072.htm	Logic for Partial Functions in SML	28445	4	1995-07-26
072.txt	...	16408		1995-06-28
075.htm	Types for VDM using ZF	6765	2	1995-07-26
075.sml.txt	...	3505		1997-10-19
075.txt	...	5590		1995-06-28
076.htm	\*(G6	23082	2	1995-07-26
076.txt	...	17301		1995-06-28
080.htm	...	14873	2	1995-07-26
080.txt	...	14410		1995-06-28
082.htm	...	31060	2	1995-07-26
082.txt	...	30597		1995-06-28
085.htm	Universal Set Theory in SML (document 45)	24454	2	1995-07-26
085.txt	...	19718		1995-06-28
087.htm	Roger's Set Theory	15578	2	1995-07-26
087.txt	...	11541		1995-06-28
094.htm	BSI VDM-SL Type Model and Proof Theory	2847	3	1995-07-26
094.txt	...	2382		1995-06-28
095.htm	...	2227	4	1995-07-26
095.txt	...	1847		1995-06-28
096.htm	Reflexive Foundations for Computer Science	8316	3	1995-07-26
096.txt	...	7459		1995-06-28
099.htm	\*(G6	8136	3	1995-07-26
099.txt	...	6452		1995-06-28
100.htm	Church's Type Theory	2109	4	1995-07-26
100.txt	...	1397		1995-06-28
110.txt	...	42936		1995-06-28
113.txt	...	3237		1995-06-28
116.txt	...	35725		1995-06-28
119.txt	...	1724		1995-06-28
120.txt	...	37044		1995-06-28
122.txt	...	34611		1995-06-28
123.txt	...	34953		1995-06-28
126.txt	...	11967		1995-06-28
127.txt	...	2464		1995-06-28
128.txt	...	54298		1995-06-28
129.txt	...	5654		1995-06-28
130.txt	...	2359		1995-06-28
131.txt	...	5388		1995-06-28
138.tex	...	33382		1995-06-28
149.txt	...	12768		1995-06-28
150.tex	...	17162		1995-06-28
159.txt	...	3273		1995-06-28
160.txt	...	10496		1995-06-28
166.txt	...	5174		1995-06-28
167.txt	...	13477		1995-06-28
169.txt	...	2112		1995-06-28
170.txt	...	9185		1995-06-28
171.tex	...	11223		1995-06-28
172.txt	...	2476		1995-06-28
175.txt	...	10782		1995-06-28
176.txt	...	4705		1995-06-28
177.txt	...	1422		1995-06-28
178.tex	...	1819		1995-06-28
180.tex	...	18853		1995-06-28
181.tex	...	8486		1995-06-28
182.txt	...	5574		1995-06-28
184.htm	On the justification of formal methods	4197	3	1996-07-08
184.txt	...	4251		1995-06-28
185.txt	...	7387		1995-06-28
186.tex	...	7940		1995-06-28
187.tex	...	5346		1995-06-28
188.tex	...	7599		1995-06-28
189.tex	...	13559		1995-06-28
191.tex	...	13166		1995-06-28
193.tex	...	18401		1995-06-28
194.tex	...	14338		1995-06-28
195.tex	...	1984		1995-06-28
197.tex	...	3646		1995-06-28
199.tex	...	12789		1995-06-28
conv01.bat	...	40		1995-07-07
conv01.pl	$TL	2593		1995-07-07
test.bat	...	726		1996-07-08
testconv.pl	$TL	2845		1996-07-08
trans1.pl	...	1218		1995-07-26

---

00-00-00