| Mon, 27 Feb 2012 15:42:07 +0100 | wenzelm | eliminated odd comment from distant past; | changeset | files |
| Mon, 27 Feb 2012 15:39:47 +0100 | wenzelm | updated cut_tac, without loose references to implementation manual; | changeset | files |
| Mon, 27 Feb 2012 15:36:24 +0100 | wenzelm | updated generated file; | changeset | files |
| Mon, 27 Feb 2012 15:00:19 +0100 | wenzelm | simplified cut_tac (cf. d549b5b0f344); | changeset | files |