Mon, 26 Sep 2005 20:12:51 +0200 | berghofe | Updated description of code generator. | changeset | files |
Mon, 26 Sep 2005 19:19:15 +0200 | wenzelm | updated; | changeset | files |
Mon, 26 Sep 2005 19:19:14 +0200 | wenzelm | moved disambiguate_frees to ProofKernel; | changeset | files |