| Mon, 16 Nov 1998 11:09:02 +0100 | wenzelm | tuned attribute names; | changeset | files |
| Mon, 16 Nov 1998 11:07:12 +0100 | wenzelm | several args parsers; | changeset | files |
| Mon, 16 Nov 1998 11:06:31 +0100 | wenzelm | tuned names; | changeset | files |
| Mon, 16 Nov 1998 11:06:15 +0100 | wenzelm | renamed tac / etac to refine / then_refine; | changeset | files |
| Mon, 16 Nov 1998 11:05:55 +0100 | wenzelm | add print_theorems; | changeset | files |
| Mon, 16 Nov 1998 11:04:35 +0100 | wenzelm | add print_theorems; | changeset | files |
| Mon, 16 Nov 1998 11:03:35 +0100 | wenzelm | several args parsers; | changeset | files |
| Mon, 16 Nov 1998 11:02:07 +0100 | wenzelm | several args parsers; | changeset | files |
| Mon, 16 Nov 1998 11:00:58 +0100 | wenzelm | removed args, args1, thm_xname; | changeset | files |
| Mon, 16 Nov 1998 10:58:18 +0100 | wenzelm | replaced is_symid by is_sid; | changeset | files |
| Mon, 16 Nov 1998 10:46:06 +0100 | wenzelm | renamed init_context to init; | changeset | files |
| Mon, 16 Nov 1998 10:45:52 +0100 | wenzelm | renamed init_context to init; | changeset | files |