| Mon, 10 Apr 2006 00:33:49 +0200 | wenzelm | Term.itselfT; | changeset | files |
| Sun, 09 Apr 2006 19:41:30 +0200 | nipkow | Added function "splice" | changeset | files |
| 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 |
| Sun, 09 Apr 2006 18:51:20 +0200 | wenzelm | print_term etc.: actually observe print mode in final output; | changeset | files |