| 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 |
| Wed, 13 Feb 2008 15:14:17 +0100 | paulson | make_meta_clause bugfix: now works for higher-order clauses like LeastI_ex | changeset | files |
| Wed, 13 Feb 2008 10:19:30 +0100 | kleing | fixed record pretty printing | changeset | files |