| Sat, 07 Mar 2009 21:57:36 +0100 | wenzelm | adapted Syntax.const_name; | changeset | files |
| Sat, 07 Mar 2009 21:20:17 +0100 | wenzelm | canonical argument order for type_name, const_name; | changeset | files |
| Sat, 07 Mar 2009 21:19:24 +0100 | wenzelm | added const_binding; | changeset | files |
| Sat, 07 Mar 2009 21:18:37 +0100 | wenzelm | added prefix_name, suffix_name; | changeset | files |
| Sat, 07 Mar 2009 12:07:30 +0100 | wenzelm | Theory.add_axioms/add_defs: replaced old bstring by binding; | changeset | files |
| Sat, 07 Mar 2009 11:45:56 +0100 | wenzelm | renamed rep_ss to MetaSimplifier.internal_ss; | changeset | files |
| Sat, 07 Mar 2009 11:32:31 +0100 | wenzelm | Binding.str_of: removed verbose feature, include qualifier in output; | changeset | files |