| Fri, 05 Jun 1998 14:32:23 +0200 | wenzelm | added print_theorems: theory -> unit; | changeset | files |
| Fri, 05 Jun 1998 14:29:54 +0200 | wenzelm | Object.T; | changeset | files |
| Fri, 05 Jun 1998 14:29:33 +0200 | wenzelm | improved data: secure version using Object.T and Object.kind; | changeset | files |