| 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 |
| Tue, 03 Apr 2007 19:31:48 +0200 | wenzelm | tuned comments; | changeset | files |
| Tue, 03 Apr 2007 19:24:22 +0200 | wenzelm | fixed chr/explode; | changeset | files |
| Tue, 03 Apr 2007 19:24:21 +0200 | wenzelm | avoid overloaded integer constants (accomodate Alice); | changeset | files |