| Tue, 16 Jan 2001 00:32:38 +0100 | wenzelm | export inductive_forall_name, inductive_forall_def, rulify; | changeset | files |
| Tue, 16 Jan 2001 00:30:06 +0100 | wenzelm | improved string syntax (allow translation rules); | changeset | files |
| Tue, 16 Jan 2001 00:29:43 +0100 | wenzelm | renamed Abs_Node_inject to Abs_Node_inj; | changeset | files |
| Tue, 16 Jan 2001 00:29:12 +0100 | wenzelm | added atomize_strip_tac; | changeset | files |
| Tue, 16 Jan 2001 00:28:50 +0100 | wenzelm | tuned atomize; | changeset | files |
| Tue, 16 Jan 2001 00:27:37 +0100 | wenzelm | -f option; | changeset | files |
| Tue, 16 Jan 2001 00:25:54 +0100 | wenzelm | removed; | changeset | files |