| Sat, 30 May 2009 12:53:11 +0200 | wenzelm | modernized method setup; | changeset | files |
| Sat, 30 May 2009 12:52:57 +0200 | wenzelm | modernized method setup; | changeset | files |
| Sat, 30 May 2009 11:57:36 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 May 2009 11:56:21 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 30 May 2009 08:17:05 +0200 | haftmann | simps with mandatory name prefix | changeset | files |
| Sat, 30 May 2009 08:16:44 +0200 | haftmann | corrected bound/unbounded flag for nat numerals | changeset | files |
| Fri, 29 May 2009 17:27:00 +0200 | haftmann | removed dead theory Relation_Power | changeset | files |
| Thu, 28 May 2009 22:54:57 -0700 | huffman | fix reference to dist_def | changeset | files |
| Thu, 28 May 2009 22:53:23 -0700 | huffman | definition of dist for complex | changeset | files |
| Thu, 28 May 2009 17:24:18 -0700 | huffman | fix references to dist_def | changeset | files |
| Thu, 28 May 2009 17:09:51 -0700 | huffman | define dist for products | changeset | files |
| Thu, 28 May 2009 17:00:02 -0700 | huffman | move dist operation to new metric_space class | changeset | files |
| Thu, 28 May 2009 14:36:21 -0700 | huffman | remove hard tabs, fix indentation | changeset | files |
| Thu, 28 May 2009 13:52:13 -0700 | huffman | use class field_char_0 | changeset | files |