| 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 |