| 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
|
| 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
|
| Sat, 07 Mar 2009 10:06:31 +0100 |
haftmann |
drop poisonous code equations
|
changeset |
files
|
| Sat, 07 Mar 2009 10:06:12 +0100 |
haftmann |
suppress document output
|
changeset |
files
|
| Fri, 06 Mar 2009 20:30:19 +0100 |
haftmann |
theory with syntax for lattice operations
|
changeset |
files
|
| Fri, 06 Mar 2009 20:30:18 +0100 |
haftmann |
added babel -- necessary for bind infix syntax
|
changeset |
files
|