Thu, 02 May 2013 12:49:15 +0100 | Christian Urban |
eliminated explicit swap_lemmas | changeset | files |
Thu, 02 May 2013 11:32:37 +0100 | Christian Urban |
separated recursive functions and UF | changeset | files |
Thu, 02 May 2013 08:31:48 +0100 | Christian Urban |
introduced rec_if | changeset | files |