Tue, 07 Jun 2011 07:44:54 +0200 | blanchet | added (currently unused) verbose configuration option | changeset | files |
Tue, 07 Jun 2011 07:06:24 +0200 | blanchet | renamed ML function | changeset | files |
Tue, 07 Jun 2011 07:04:53 +0200 | blanchet | renamed example theory to "ATP_Export", for consistency with its underlying "ATP_" modules | changeset | files |