| Sun, 09 Apr 2006 19:29:44 +0200 | wenzelm | Even/Odd: avoid clash with even/odd of Main HOL; | changeset | files |
| Sun, 09 Apr 2006 18:51:23 +0200 | wenzelm | results: smart_pretty_thm uses adhoc proof context if possible; | changeset | files |
| Sun, 09 Apr 2006 18:51:22 +0200 | wenzelm | added full_name; | changeset | files |
| Sun, 09 Apr 2006 18:51:21 +0200 | wenzelm | add_syntax: actually observe print mode; | changeset | files |