Tue, 24 Mar 1998 15:53:47 +0100 | oheimb | improved checks | changeset | files |
Tue, 24 Mar 1998 15:51:37 +0100 | oheimb | added o2s | changeset | files |
Tue, 24 Mar 1998 15:49:32 +0100 | oheimb | added finite_acyclic_wf_converse: corrected 8bit chars | changeset | files |