| Sat, 05 Jun 1999 21:38:30 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 05 Jun 1999 20:37:29 +0200 | wenzelm | added Ord.order_antisym; | changeset | files |
| 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 |
| Sat, 05 Jun 1999 20:32:10 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Jun 1999 20:30:29 +0200 | wenzelm | varifyT': observe additional 'fixed' tfrees; | changeset | files |