| Sun, 19 Oct 2008 21:20:55 +0200 | berghofe | Names of variables in perm_eqs are now chosen more carefully to avoid | changeset | files |
| Sun, 19 Oct 2008 21:19:27 +0200 | berghofe | - removed test_params from CodegenData (now in Pure/Tools/quickcheck.ML) | changeset | files |
| Sun, 19 Oct 2008 21:14:53 +0200 | berghofe | datatype_codegen now checks name of result type of constructor | changeset | files |