Mon, 05 May 2014 17:48:55 +0200 | wenzelm | merged | changeset | files |
Mon, 05 May 2014 17:27:42 +0200 | wenzelm | uniform Toplevel.print for all proof commands; | changeset | files |
Mon, 05 May 2014 17:14:46 +0200 | wenzelm | clarified print operations for "terms" and "theorems"; | changeset | files |