| Tue, 06 Jan 2009 09:03:37 -0800 | huffman | make cont_proc handle eta-contracted terms | changeset | files |
| Tue, 06 Jan 2009 09:02:18 -0800 | huffman | implement is_closed_term using Term.loose_bvar | changeset | files |
| Mon, 05 Jan 2009 15:26:57 -0800 | huffman | use Thm.close_derivation instead of standard | changeset | files |
| Tue, 06 Jan 2009 21:17:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jan 2009 14:45:45 +0100 | wenzelm | merged | changeset | files |
| Tue, 06 Jan 2009 14:43:35 +0100 | wenzelm | renamed structure ParList to Par_List; | changeset | files |
| Tue, 06 Jan 2009 14:33:49 +0100 | wenzelm | parallelized merge_data; | changeset | files |