| Sat, 07 Jul 2007 18:39:14 +0200 | wenzelm | pretty_goals_aux: subgoal markup; | changeset | files |
| Sat, 07 Jul 2007 18:39:12 +0200 | wenzelm | pr_goals: adapted Display.pretty_goals_aux; | changeset | files |
| Sat, 07 Jul 2007 12:16:20 +0200 | wenzelm | export attribute; | changeset | files |
| Sat, 07 Jul 2007 12:16:19 +0200 | wenzelm | pretty_sort/typ/term: markup; | changeset | files |
| Sat, 07 Jul 2007 12:16:18 +0200 | wenzelm | pretty: markup for syntax/name of authentic consts; | changeset | files |
| Sat, 07 Jul 2007 12:16:17 +0200 | wenzelm | depend on alist.ML, markup.ML; | changeset | files |