Fri, 21 May 2004 21:19:04 +0200 | wenzelm | output_tym: removed duplicate clauses; | changeset | files |
Fri, 21 May 2004 21:18:48 +0200 | wenzelm | Graph.minimals; | changeset | files |
Fri, 21 May 2004 21:18:35 +0200 | wenzelm | adapted syntax to cope with lack of non-logical types; | changeset | files |