| Fri, 06 Jul 2012 16:20:54 +0200 | wenzelm | discontinued obsolete attribute "COMP"; | file | diff | annotate |
| Wed, 23 May 2012 16:22:27 +0200 | wenzelm | discontinued obsolete method fastsimp / tactic fast_simp_tac; | file | diff | annotate |
| Mon, 16 Apr 2012 21:37:08 +0200 | wenzelm | document attribute "abs_def"; | file | diff | annotate |