| Wed, 12 Oct 2011 22:48:23 +0200 | wenzelm | modernized structure Induct_Tacs; | file | diff | annotate |
| Wed, 29 Jun 2011 20:39:41 +0200 | wenzelm | simplified/unified Simplifier.mk_solver; | file | diff | annotate |
| Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |