| Sat, 04 Mar 2006 21:10:09 +0100 | wenzelm | tuned conj_curry; | changeset | files |
| Sat, 04 Mar 2006 21:10:08 +0100 | wenzelm | added extract, retrofit; | changeset | files |
| Sat, 04 Mar 2006 21:10:07 +0100 | wenzelm | added mk_conjunction; | changeset | files |
| Sat, 04 Mar 2006 21:10:06 +0100 | wenzelm | method: restriction to first n sub-goals; | changeset | files |