| Mon, 08 Aug 2011 17:23:15 +0200 | wenzelm | misc tuning -- eliminated old-fashioned rep_thm; | file | diff | annotate |
| Wed, 29 Jun 2011 21:34:16 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 29 Jun 2011 20:39:41 +0200 | wenzelm | simplified/unified Simplifier.mk_solver; | file | diff | annotate |
| Thu, 09 Jun 2011 17:51:49 +0200 | wenzelm | simplified Name.variant -- discontinued builtin fold_map; | file | diff | annotate |
| Fri, 22 Apr 2011 13:07:47 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 16 Apr 2011 15:47:52 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Fri, 08 Apr 2011 13:31:16 +0200 | wenzelm | explicit structure Syntax_Trans; | file | diff | annotate |
| Sat, 08 Jan 2011 14:30:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Dec 2010 17:08:56 +0100 | wenzelm | renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning; | file | diff | annotate | base |