| Sun, 01 Nov 2009 15:24:45 +0100 | wenzelm | modernized structure Rule_Cases; | file | diff | annotate |
| Fri, 24 Jul 2009 18:58:58 +0200 | wenzelm | renamed functor ProjectRuleFun to Project_Rule; | file | diff | annotate |
| Wed, 24 Jun 2009 21:28:02 +0200 | wenzelm | renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported); | 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 |