| Mon, 07 Jun 1999 19:25:12 +0200 | nipkow | Added lots of 'replicate' lemmas. | changeset | files |
| Sat, 05 Jun 1999 21:43:02 +0200 | wenzelm | groups as monoids; | changeset | files |
| 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 |