| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:17 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 07 Oct 2005 22:59:15 +0200 | wenzelm | added dummy variable binding; | changeset | files |
| Fri, 07 Oct 2005 20:41:10 +0200 | nipkow | changes due to new neq_simproc in simpdata.ML | changeset | files |
| Fri, 07 Oct 2005 18:49:20 +0200 | wenzelm | added str_of_term (from HOL/Tools/ATP/recon_translate_proof.ML); | changeset | files |
| Fri, 07 Oct 2005 18:49:19 +0200 | wenzelm | Term.str_of_term; | changeset | files |
| Fri, 07 Oct 2005 17:57:21 +0200 | paulson | minor code tidyig | changeset | files |