-----BEGIN PGP SIGNED MESSAGE----- # netlib-utk master Wed Nov 3 03:22:38 EST 1999 ED1SDJt4UxL9tBE7Vt8a1g axioms.hlp +v4arEiLwZWL8XM+qWI7+w axioms.ms EsfBWHakiVYMV9KcIitHXQ connectives.hlp QDbdIHWscshpoC41OMfPag connectives.ms iTkVrivcQzL0EmSs6UY6zw directory fhWhJAVJKzWcHmnw5/pruA formulae.hlp Rnw3owzzmH/FELnaUsudAA formulae.ms gU8Rnrd5ZIA9qnAfmXsM4A index Q6M9d+SEESBpwgy5kO0Q0Q index.html Ki3nBQpnyt6vSDzpnPWkvw intro.hlp 6F3iRUptGB6prxXUPl3DvQ intro.ms +J6HhT5jE+/3BQ/3Sk6O+w logic.hlp Ti+0E5XrRZNZUozH1RSZwg logic.ms KMv34a1Kuv9+VYnNsLiEvw output.hlp lXR84Isi/UoGh48hJ9ks6g output.ms -----BEGIN PGP SIGNATURE----- Version: 2.6.2 iQCVAwUBOB/w0OFlxDEfrjtlAQF+KgP8CfFISquyzsrbKjY3WW1hMW9aAr8a4xcE 3vjmD29fucP0MF56vRLaZmwpXGunpArixNuUlKA8xmPdqDyX7B+e2CXX5b0biLee PjjrYbn0mm3Syd8DmZkH8FZqNvAtIGadaGw4hfM2PSkh8B0SqDnkoCBrMR1QgtxG ApM1rZyQdhQ= =XstY -----END PGP SIGNATURE----- .