/getproof.sig/1.1.1.1/Tue Jun 29 16:38:28 2004//
/getproof.sml/1.1.1.1/Tue Jun 29 16:38:28 2004//
/katcli.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/proof.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-cli.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-getlinux.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-getmac.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-tklinux.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-tkmac.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-tkwin.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-ver.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources-vermac.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/sources.cm/1.1.1.1/Tue Jun 29 16:38:29 2004//
/term.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/term.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/tomp.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/unify.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/unify.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/util.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/verify.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/verify.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
/xml.sig/1.1.1.1/Tue Jun 29 16:38:29 2004//
/xml.sml/1.1.1.1/Tue Jun 29 16:38:29 2004//
D/first_order////
D/sml_tk////
/proof.sml/1.5/Result of merge//
/sources-climac.cm/1.1.1.1/Wed Jul 28 18:17:09 2004//
/util.sig/1.4/Result of merge//
/kat.sml/1.6/Thu Jul 29 16:08:35 2004//
/kattk.sml/1.4/Sun Jul 25 19:32:18 2004//
