Sat, 14 Apr 2012 23:52:17 +0100 | sultana | switched from using sed to perl in mirabelle tool | changeset | files |
Sat, 14 Apr 2012 23:52:17 +0100 | sultana | renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description; | changeset | files |
Sat, 14 Apr 2012 23:34:18 +0200 | wenzelm | refined Cooper.tac / "presburger" method: Subgoal.FOCUS_PARAMS allows to solve more problems with outer quantifiers, e.g "!!x. [| 0 <= (x::int); x div 2 < f x |] ==> x < f x * 2"; | changeset | files |
Sat, 14 Apr 2012 20:44:53 +0200 | wenzelm | merged; | changeset | files |
Sat, 14 Apr 2012 19:29:31 +0200 | krauss | removed HOL/ex/Set_Algebras -- outdated clone, obsolete as example | changeset | files |
Sat, 14 Apr 2012 15:08:59 +0100 | sultana | aligned tptp_graph dependencies to Isabelle conventions; | changeset | files |