Wed, 25 Apr 2012 00:57:41 +0200 | blanchet | added "no_atp"s for extremely prolific, useless facts for ATPs | changeset | files |
Tue, 24 Apr 2012 23:22:40 +0200 | wenzelm | tuned; | changeset | files |
Tue, 24 Apr 2012 23:03:59 +0200 | wenzelm | merged | changeset | files |