| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | datatype classes are abstract | changeset | files |
| Tue, 20 Jul 2010 08:54:21 +0200 | haftmann | avoid deprecation | changeset | files |
| Tue, 20 Jul 2010 06:35:29 +0200 | haftmann | robustified metis proof | changeset | files |
| Mon, 19 Jul 2010 20:23:52 +0200 | haftmann | modernized abel_cancel simproc setup | changeset | files |
| Mon, 19 Jul 2010 20:23:49 +0200 | haftmann | keep explicit diff_def as legacy theorem; modernized abel_cancel simproc setup | changeset | files |
| Mon, 19 Jul 2010 20:19:03 +0200 | haftmann | diff_eq_diff_less_eq' replaces diff_eq_diff_less_eq | changeset | files |
| Mon, 19 Jul 2010 16:09:44 +0200 | haftmann | diff_minus subsumes diff_def | changeset | files |