/quintus.def/1.1.1.1/Mon Jun 27 15:27:19 1994 Mon Jun 27 15:14:44 1994//
/sicstus.def/1.1.1.1/Mon Jun 27 15:27:19 1994 Mon Jun 27 15:14:44 1994//
