| Thu, 23 Jul 2009 18:44:09 +0200 | wenzelm | renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset; | file | diff | annotate |
| Fri, 17 Jul 2009 21:33:00 +0200 | wenzelm | tuned/modernized Envir operations; | file | diff | annotate |
| Sat, 30 May 2009 13:12:15 +0200 | wenzelm | minimal signature cleanup; | file | diff | annotate |
| Fri, 13 Mar 2009 21:25:15 +0100 | wenzelm | eliminated type Args.T; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Fri, 06 Mar 2009 22:32:27 +0100 | wenzelm | replaced archaic use of rep_ss by Simplifier.mksimps; | file | diff | annotate |
| Sat, 28 Feb 2009 14:02:12 +0100 | wenzelm | moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete; | file | diff | annotate | base |