| Sun, 09 Apr 2006 18:51:21 +0200 | wenzelm | add_syntax: actually observe print mode; | changeset | files |
| Sun, 09 Apr 2006 18:51:20 +0200 | wenzelm | print_term etc.: actually observe print mode in final output; | changeset | files |
| Sun, 09 Apr 2006 18:51:19 +0200 | wenzelm | abbrevs: mode does not affect name space; | changeset | files |
| Sun, 09 Apr 2006 18:51:17 +0200 | wenzelm | added coalesce; | changeset | files |
| Sun, 09 Apr 2006 18:51:16 +0200 | wenzelm | moved theory presentation to Isar/ROOT.ML; | changeset | files |
| Sun, 09 Apr 2006 18:51:15 +0200 | wenzelm | hide consts in Numeral.thy; | changeset | files |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | changeset | files |