Tue, 24 Mar 1998 15:49:32 +0100 | oheimb | added finite_acyclic_wf_converse: corrected 8bit chars | changeset | files |
Tue, 24 Mar 1998 15:46:34 +0100 | oheimb | added acyclicI | changeset | files |
Tue, 24 Mar 1998 15:46:08 +0100 | oheimb | added finite_acyclic_wf_converse | changeset | files |