| Tue, 30 Jun 2009 16:43:28 +0200 | haftmann | variable names in abstractions are optional | changeset | files |
| Tue, 30 Jun 2009 16:43:27 +0200 | haftmann | restored | changeset | files |
| Tue, 30 Jun 2009 21:51:44 +0200 | wenzelm | added isatest for x86_64-darwin; | changeset | files |
| Tue, 30 Jun 2009 21:23:01 +0200 | wenzelm | merged | changeset | files |
| Tue, 30 Jun 2009 19:54:04 +0200 | hoelzl | NEWS updated | changeset | files |
| Tue, 30 Jun 2009 18:25:55 +0200 | hoelzl | DERIV_ln is proved in Transcendental and in Ln, use Transcendental to prove Ln. | changeset | files |
| Tue, 30 Jun 2009 18:24:00 +0200 | hoelzl | remove DERIV_tac and deriv_tac, neither is used in Isabelle/HOL or the AFP | changeset | files |