/.cvsignore/1.2/Wed Dec  5 14:00:51 2001//
/Makefile/1.4/Thu Dec  6 10:28:52 2001//
/encrypt.ml/1.29/Thu Dec  6 10:28:52 2001//
/exchange.ml/1.27/Thu Dec  6 10:28:52 2001//
/optrekey.ml/1.13/Thu Dec  6 10:28:52 2001//
/perfrekey.ml/1.15/Thu Dec  6 10:28:52 2001//
/realkeys.ml/1.13/Thu Dec  6 10:28:52 2001//
/rekey.ml/1.28/Thu Dec  6 10:28:52 2001//
/rekey_diam.ml/1.6/Thu Dec  6 10:28:52 2001//
/rekey_dt.ml/1.4/Thu Dec  6 10:28:52 2001//
/secchan.ml/1.21/Thu Dec  6 10:28:52 2001//
D
