| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | changeset | files |
| Wed, 26 Jul 2006 13:31:07 +0200 | haftmann | added eval_term | changeset | files |
| Wed, 26 Jul 2006 11:32:55 +0200 | wenzelm | updated; | changeset | files |
| Wed, 26 Jul 2006 11:32:50 +0200 | wenzelm | fixed LaTeX problem; | changeset | files |
| Wed, 26 Jul 2006 10:09:25 +0200 | haftmann | added eval_term | changeset | files |
| Wed, 26 Jul 2006 09:50:23 +0200 | nipkow | Removed wrong sentence (Simon Funke) | changeset | files |
| Wed, 26 Jul 2006 00:44:49 +0200 | wenzelm | moved pprint functions to Isar/proof_display.ML; | changeset | files |