| changeset 48219 | 49930a9ec27c |
| parent 48203 | 4b93fc861cfa |
| child 48227 | 3a7ac7439ccf |
--- a/src/HOL/Tools/ATP/atp_problem_generate.ML Mon Jul 09 23:23:12 2012 +0200 +++ b/src/HOL/Tools/ATP/atp_problem_generate.ML Mon Jul 09 23:23:12 2012 +0200 @@ -196,9 +196,9 @@ val schematic_var_prefix = "V_" val fixed_var_prefix = "v_" val tvar_prefix = "T_" -val tfree_prefix = "t_" +val tfree_prefix = "tf_" val const_prefix = "c_" -val type_const_prefix = "tc_" +val type_const_prefix = "t_" val native_type_prefix = "n_" val class_prefix = "cl_"