Wed, 18 May 2005 11:31:00 +0200 | wenzelm | removed update_node, which is just an instance of map_node; | changeset | files |
Wed, 18 May 2005 11:30:59 +0200 | wenzelm | tuned; | changeset | files |
Wed, 18 May 2005 11:30:58 +0200 | wenzelm | updated; | changeset | files |
Wed, 18 May 2005 10:51:15 +0200 | kleing | searching for combination of criteria (intro, elim, dest, name, pattern) | changeset | files |
Wed, 18 May 2005 10:47:25 +0200 | kleing | made para on searching more readable | changeset | files |
Wed, 18 May 2005 10:24:11 +0200 | paulson | new cnf function taking Skolemization theorems as an extra argument | changeset | files |