| 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 |
| Sat, 07 Mar 2009 11:31:41 +0100 | wenzelm | oracle: proper name position, tuned; | changeset | files |
| Sat, 07 Mar 2009 10:06:58 +0100 | haftmann | merged | changeset | files |