This directory contains the following subdirectories:

and the following files:

name	title	size	hits	mdate
000a.htm	INDEX of PAPERS and PRESENTATIONS (86-95)	11177	28	2016-01-18
029.pdf	...	9537	13	2016-01-18
029.txt	...	3533		2016-01-18
034.pdf	...	9399	20	2016-01-18
034.txt	...	5497		2016-01-18
036.pdf	...	5181	15	2016-01-18
036.txt	...	2765		2016-01-18
037.pdf	...	16793	13	2016-01-18
037.txt	...	8099		2016-01-18
038.pdf	...	11539	18	2016-01-18
038.txt	...	3786		2016-01-18
039.pdf	...	14477	13	2016-01-18
039.txt	...	6992		2016-01-18
040.pdf	...	16099	14	2016-01-18
040.txt	...	8655		2016-01-18
041.pdf	...	18902	21	2016-01-18
041.txt	...	10194		2016-01-18
042.pdf	...	45994	12	2016-01-18
042.txt	...	28771		2016-01-18
048.pdf	...	9021	13	2016-01-18
048.txt	...	2797		2016-01-18
049.pdf	...	4125	15	2016-01-18
049.txt	...	1202		2016-01-18
050.pdf	...	12750	13	2016-01-18
050.txt	...	2959		2016-01-18
051.pdf	...	10842	15	2016-01-18
051.txt	...	4062		2016-01-18
052.pdf	...	60907	20	2016-01-18
052.txt	...	48199		2016-01-18
053.pdf	...	8914	15	2016-01-18
053.txt	...	4808		2016-01-18
054.pdf	...	24214	12	2016-01-18
054.txt	...	8605		2016-01-18
059.pdf	...	9623	14	2016-01-18
059.txt	...	4121		2016-01-18
065.pdf	...	14179	14	2016-01-18
065.txt	...	5604		2016-01-18
069.pdf	...	139573	15	2016-01-18
069.tex	...	7701		2016-01-18
070.pdf	...	19254	9	2016-01-18
070.txt	...	8830		2016-01-18
071.pdf	...	8505	9	2016-01-18
071.txt	...	4183		2016-01-18
072.pdf	...	25414	15	2016-01-18
072.txt	...	15849		2016-01-18
075.pdf	...	13388	13	2016-01-18
075.txt	...	5355		2016-01-18
076.pdf	...	29063	14	2016-01-18
076.txt	...	16743		2016-01-18
080.pdf	...	133349	17	2016-01-18
080.tex	...	14410		2016-01-18
082.pdf	...	235455	11	2016-01-18
082.ptex	...	30649		2016-01-18
085.pdf	...	33589	11	2016-01-18
085.txt	...	19032		2016-01-18
087.pdf	...	22381	28	2016-01-18
087.txt	...	11113		2016-01-18
094.pdf	...	8194	14	2016-01-18
094.txt	...	2216		2016-01-18
095.pdf	...	4428	13	2016-01-18
095.txt	...	1778		2016-01-18
096.pdf	...	21617	30	2016-01-18
096.txt	...	6996		2016-01-18
099.pdf	...	19614	14	2016-01-18
099.txt	...	6111		2016-01-18
100.pdf	...	6434	15	2016-01-18
100.txt	...	1300		2016-01-18
110.pdf	...	60804	13	2016-01-18
110.txt	...	41894		2016-01-18
113.pdf	...	10132	14	2016-01-18
113.txt	...	2960		2016-01-18
116.pdf	...	55160	17	2016-01-18
116.txt	...	34580		2016-01-18
119.pdf	...	7004	14	2016-01-18
119.txt	...	1561		2016-01-18
120.btxt	...	36959		2016-01-18
120.pdf	...	78113	11	2016-01-18
122.btxt	...	34542		2016-01-18
122.pdf	...	68509	16	2016-01-18
123.pdf	...	60161	18	2016-01-18
123.txt	...	33662		2016-01-18
126.btxt	...	11898		2016-01-18
126.pdf	...	18702	15	2016-01-18
127.pdf	...	7780	14	2016-01-18
127.txt	...	2285		2016-01-18
128.btxt	...	54229		2016-01-18
128.pdf	...	97032	13	2016-01-18
129.btxt	...	5585		2016-01-18
129.pdf	...	11010	16	2016-01-18
130.btxt	...	2290		2016-01-18
130.pdf	...	7209	19	2016-01-18
131.pdf	...	9573	11	2016-01-18
131.txt	...	5265		2016-01-18
138.pdf	...	275670	17	2016-01-18
138.qtex	...	33241		2016-01-18
149.btxt	...	12712		2016-01-18
149.pdf	...	35115	16	2016-01-18
150.pdf	...	205657	15	2015-11-24
159.pdf	...	10594	10	2016-01-18
159.txt	...	2994		2016-01-18
160.btxt	...	10424		2016-01-18
160.pdf	...	29042	14	2016-01-18
166.btxt	...	5177		2016-01-18
166.pdf	...	15453	16	2016-01-18
167.btxt	...	13427		2016-01-18
167.pdf	...	28270	14	2016-01-18
169.pdf	...	8730	16	2016-01-18
169.txt	...	1882		2016-01-18
170.btxt	...	9134		2016-01-18
170.pdf	...	29879	15	2016-01-18
171.pdf	...	135319	15	2016-01-18
171.tex	...	11223		2016-01-18
172.pdf	...	8706	11	2016-01-18
172.txt	...	2206		2016-01-18
175.btxt	...	10731		2016-01-18
175.pdf	...	9125	17	2016-01-18
176.btxt	...	4691		2016-01-18
176.pdf	...	10138	16	2016-01-18
177.pdf	...	5167	16	2016-01-18
177.txt	...	1279		2016-01-18
178.pdf	...	102570	13	2016-01-18
178.tex	...	1806		2016-01-18
180.pdf	...	179239	12	2016-01-18
180.ptex	...	18850		2016-01-18
181.pdf	...	128693	15	2016-01-18
181.ptex	...	8497		2016-01-18
182.btxt	...	5523		2016-01-18
182.pdf	...	18604	20	2016-01-18
184.pdf	...	12140	13	2016-01-18
184.txt	...	3871		2016-01-18
185.btxt	...	7409		2016-01-18
185.pdf	...	22684	19	2016-01-18
186.pdf	...	55495	18	2016-01-18
186.qtex	...	7940		2016-01-18
187.pdf	...	53354	12	2016-01-18
187.qtex	...	5346		2016-01-18
188.pdf	...	57293	16	2016-01-18
188.qtex	...	7599		2016-01-18
189.pdf	...	143535	13	2016-01-18
189.ptex	...	13551		2016-01-18
191.pdf	...	171770	14	2016-01-18
191.ptex	...	13166		2016-01-18
193.pdf	...	188723	14	2016-01-18
193.ptex	...	18402		2016-01-18
194.pdf	...	175813	15	2016-01-18
194.ptex	...	14344		2016-01-18
195.pdf	...	51773	13	2016-01-18
195.qtex	...	2015		2016-01-18
197.pdf	...	65562	18	2016-01-18
197.qtex	...	3646		2016-01-18
199.pdf	...	193083	13	2016-01-18
199.qtex	...	12799		2016-01-18
da001-i.html		1837	13	2016-01-18
da001-m.html	The Z Specification Language	14129	18	2016-01-18
da001.html	The Z Specification Language	1105	22	2016-01-18
da002-i.html		1618	14	2016-01-18
da002-m.html	Formal Methods	27271	21	2016-01-18
da002.html	Formal Methods	1106	19	2016-01-18
index-i.html		3191	17	2016-01-18
index-m.html		86803	19	2016-01-18
index.html		986	18	2016-01-18

---

00-00-00