100644 blob a2af064b3918bdfbb0ed768d0e3aef5b4162390c	GNUmakefile
100644 blob eb224159159c556a7c86d2b7ef711394363d40c4	GUI1.eps
100644 blob a6927f1c1fb5abb5415930e56bda1ec61975cbd7	GUI2.eps
100644 blob aaf1e0c21ccfc76d4223f257f5c0c44284b728e3	JustIce.lyx
100644 blob ace1359ab5d55f407085c1f70b1586fa172e4d7b	V_API_SD.eps
100644 blob 9bf549a28122a96265407cbf32dce472b7c35e20	VennDiag.eps
100644 blob 2fca77561e85e8870761937e1bfc12c1ed22bc42	VerificationAPI.bmp
100644 blob 2eb5f4ff3e9d0c7a135011731307e0dc7b9336de	VerificationAPI.eps
100644 blob 6d250866dc5db3c02907d97deeeab42b29bb608b	chap1.bmp
100644 blob f17038579519d895a828fa9a1c241b7dd16bb87a	chap1.eps
100644 blob 5896e457f4d8c50645a50178e50aad475e80707b	classfile.eps
100644 blob fd245b7a4d63c25c320c1cda8e0ec9299d03475b	conventcfg.bmp
100644 blob 0f8ecde19fa2a4b1d6189292e375c88bb530d625	conventcfg.eps
100644 blob 134b61666a8493de382a39895b440857bb77c74a	exframe.bmp
100644 blob 6a730a67a2b004ed96031e6788f93703bcd8b490	exframe.eps
100644 blob 71510d2029ade27b3f659e08f86c16dbd1568059	justicecfg.bmp
100644 blob 177d5a0dbeaef8a2d0003c0b0ae25ac3217bc711	justicecfg.eps