| Wed, 04 Apr 2007 00:11:14 +0200 | wenzelm | added scanwords from library.ML (for obsolete rename_tac); | changeset | files |
| Wed, 04 Apr 2007 00:11:13 +0200 | wenzelm | removed obsolete scanwords (see obsolete tactic.ML:rename_tac for its only use); | changeset | files |
| Wed, 04 Apr 2007 00:11:12 +0200 | wenzelm | removed dead code; | changeset | files |
| 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 |