src/Tools/project_rule.ML
2009-11-01 wenzelm modernized structure Rule_Cases;
2009-07-24 wenzelm renamed functor ProjectRuleFun to Project_Rule;
2009-06-24 wenzelm renamed Variable.import_thms to Variable.import (back again cf. ed7aa5a350ef -- Alice is no longer supported);
2009-02-28 wenzelm moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete;
less more (0) tip