| Wed, 15 Jun 2011 14:36:41 +0200 | blanchet | use more appropriate type systems for ATP exporter | file | diff | annotate |
| Tue, 07 Jun 2011 07:04:53 +0200 | blanchet | renamed example theory to "ATP_Export", for consistency with its underlying "ATP_" modules | file | diff | annotate | base |