| Wed, 27 Sep 2006 21:13:12 +0200 | wenzelm | tuned all_paths; | changeset | files |
| Wed, 27 Sep 2006 21:13:11 +0200 | wenzelm | internal params: Vartab instead of AList; | changeset | files |
| Wed, 27 Sep 2006 21:13:09 +0200 | wenzelm | removed unused serial_of, name_of; | changeset | files |
| Wed, 27 Sep 2006 20:39:09 +0200 | wenzelm | removed redundant lemmas; | changeset | files |
| Wed, 27 Sep 2006 18:34:26 +0200 | huffman | remove redundant lemmas | changeset | files |
| Wed, 27 Sep 2006 16:33:08 +0200 | haftmann | replaced constant 0 by HOL.zero | changeset | files |