Tue, 31 May 2011 21:33:49 +0200 | hoelzl | use divide instead of inverse for the derivative of ln | changeset | files |
Thu, 09 Jun 2011 11:57:39 +0200 | bulwahn | adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10 | changeset | files |
Thu, 09 Jun 2011 23:12:02 +0200 | wenzelm | renamed Drule.instantiate to Drule.instantiate_normalize to emphasize its meaning as opposed to plain Thm.instantiate; | changeset | files |