| Sat, 16 Feb 2008 02:01:13 +0100 | huffman | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | changeset | files |
| Fri, 15 Feb 2008 23:22:02 +0100 | wenzelm | support for managed external processes; | changeset | files |
| 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 |