| Sat, 16 Feb 2008 16:43:53 +0100 | wenzelm | added General/system_process.ML; | changeset | files |
| Sat, 16 Feb 2008 02:08:07 +0100 | huffman | added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps | changeset | files |
| 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 |