| Wed, 04 Apr 2007 00:11:10 +0200 | wenzelm | cleaned-up Output functions; | changeset | files |
| Wed, 04 Apr 2007 00:11:08 +0200 | wenzelm | eliminated obsolete rename_tac; | changeset | files |
| Wed, 04 Apr 2007 00:11:03 +0200 | wenzelm | removed obsolete sign_of/sign_of_thm; | changeset | files |
| Wed, 04 Apr 2007 00:10:59 +0200 | wenzelm | ML antiquotes; | changeset | files |