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