| Fri, 29 Mar 2013 18:57:47 +0100 | haftmann | reverted slip introduced in f738e6dbd844 | changeset | files |
| Sat, 30 Mar 2013 14:57:06 +0100 | wenzelm | added 'print_defn_rules' command; | changeset | files |
| Sat, 30 Mar 2013 13:40:19 +0100 | wenzelm | more item markup; | changeset | files |
| Sat, 30 Mar 2013 12:13:39 +0100 | wenzelm | item markup for Proof_Context.pretty_fact; | changeset | files |