| Wed, 11 Mar 2009 13:53:51 +0100 | hoelzl | Extended approximation boundaries by fractions and base-2 floating point numbers | file | diff | annotate |
| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | moved Decision_Procs examples to Decision_Procs/ex | file | diff | annotate | base |