| 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 |
| Mon, 27 Feb 2012 14:07:59 +0100 | huffman | merged | changeset | files |
| Mon, 27 Feb 2012 11:38:56 +0100 | huffman | avoid using constant Int.neg | changeset | files |
| Mon, 27 Feb 2012 12:12:28 +0100 | wenzelm | reactivated Find_Unused_Assms_Examples to avoid untested / dead stuff in the repository; | changeset | files |
| Mon, 27 Feb 2012 11:53:08 +0100 | nipkow | merged | changeset | files |
| Mon, 27 Feb 2012 10:27:21 +0100 | nipkow | added lemma | changeset | files |