| Fri, 15 Feb 2008 17:36:21 +0100 | nipkow | more lemmas | changeset | files |
| Fri, 15 Feb 2008 16:09:12 +0100 | haftmann | <= and < on nat no longer depend on wellfounded relations | changeset | files |
| Fri, 15 Feb 2008 16:09:10 +0100 | haftmann | moved *_reorient lemmas here | changeset | files |
| Fri, 15 Feb 2008 14:20:51 +0100 | wenzelm | tuned names; | changeset | files |
| Thu, 14 Feb 2008 21:33:44 +0100 | wenzelm | syntax error: suppress expected categories altogether; | changeset | files |
| Thu, 14 Feb 2008 15:45:26 +0100 | wenzelm | expected syntax categories: reduced duplication, report minimal priorities only; | changeset | files |
| Thu, 14 Feb 2008 01:31:30 +0100 | berghofe | Fixed typing problem that caused instantiation of induct_aux_rec to go wrong. | changeset | files |