Sat, 05 Jun 1999 20:34:53 +0200 | wenzelm | auto_bind_goal, auto_bind_facts; | changeset | files |
Sat, 05 Jun 1999 20:33:27 +0200 | wenzelm | auto_bind_goal, auto_bind_facts; | changeset | files |
Sat, 05 Jun 1999 20:32:49 +0200 | wenzelm | added get_st; | changeset | files |